The log homotopy exact sequence

We show exactness of the homotopy sequence for the logarithmic fundamental group in the case of log smooth, finitely presented, proper and saturated morphisms of fs log schemes over a field. This generalizes earlier results of Hoshi in the log regular case. In passing, we also construct a “log Stein factorization” in some particular cases.