The exactness of the log homotopy sequence (Q1026931)

The author develops the theory of log homotopy exact sequences associated to proper log smooth morphisms and to morphisms whose characteristic sheaves are locally constant with stalks isomorphic to the monoid \(\mathbb{N}\). To this end, a logarithmic version of the Stein factorization theorem is obtained, as well as results on the algebraization of log formal scheme.