Suppose $F_1: C_1 \rightleftarrows D : U_1$ is an adjunction, with induced monad$T_1 = U_1 F_1$ on $C_1$. Then we can form the Eilenberg-Moore category$C_2 \coloneqq C_1^{T_1}$, and the comparison functor$U_2 : D \to C_2$. If $D$ has reflexive coequalizers, then $U_2$ has a left adjoint $F_2$, with induced monad $T_2 = U_2 F_2$ on $C_2$, and we can iterate.

If $D$ is moreover cocomplete, we can pass to limits and obtain a tower of adjunctions indexed by all ordinal numbers. If this tower converges (which happens, for instance, if $D$ is well-copowered), then it factors the original adjunction into an adjunction $F_\infty : C_\infty \rightleftarrows D : U_\infty$ that is a reflection (i.e. the induced monad $T_\infty = U_\infty F_\infty$ on $C_\infty$ is the identity) followed by an adjunction $C_1 \rightleftarrows C_\infty$ whose right adjoint $C_\infty \to C_1$ is a transfinite composite of monadic functors, hence in particular faithful and conservative. This is called a/the monadic decomposition of the original adjunction, and produces a factorization system on a suitable 2-category.

References

Applegate and Tierney, Iterated cotriples, springerlink

MacDonald and Stone, The tower and regular decompositions, numdam

Adamek and Herrlich and Tholen, Monadic decompositions, sciencedirect

Last revised on November 6, 2022 at 11:40:11.
See the history of this page for a list of all contributions to it.