  Every right adjoint functor between presentable $\infty$-categories is shown
to decompose canonically as a coreflection, followed by, possibly transfinitely
many, monadic functors. Furthermore, the coreflection part is given a
presentation in terms of a functorial iterated colimit. Background material,
examples, and the relation to homology localization and completion are
discussed as well.
