Categorical representation of locally noetherian log schemes

Abstract

In this paper, we show that for a certain fairly general class of log schemes, the structure of the log scheme may be recovered entirely from the purely categorical structure of a certain associated category of log schemes of finite type over the given log scheme. This result is motivated partly by Grothendieck's anabelian philosophy and partly by general philosophical considerations concerning the importance of categories as a foundation for mathematics.