  The purpose of this article is to develop foundational techniques from
logarithmic geometry in order to define a functorial tropicalization map for
fine and saturated logarithmic schemes in the case of constant coefficients.
Our approach crucially uses the theory of fans in the sense of K. Kato and
generalizes Thuillier's retraction map onto the non-Archimedean skeleton in the
toroidal case. For the convenience of the reader many examples as well as an
introductory treatment of the theory of Kato fans are included.
