Spahn
factorization of a monad
Example
Let be an adjoint quadruple defining infinitesimal cohesion; i.e. and are full and faithful and preserves the terminal object.
Then there are two factorizations of the terminal geometric morphism? on through the geometric morphisms and :
as is the induced geometric morphism