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$?
Any reference on the subject is welcome!