I try to learn basic things on logarithmic geometry, and in particular I don't find much on the category of coherent sheaves on a logarithmic scheme: is it a notion that makes sense or differ from coherent sheaves on the underlying scheme? If such a category exists, do we have nice homological properties, such as being of homological dimension $n$ for a *log* smooth projective variety of dimension $n$? Maybe it is interesting to consider some kind of parabolic sheaves? Any reference on the subject is welcome!