We analyse the 2-dimensional categorical algebra underlying the process of completing categories, or posets. The algebra explains why and how completeness of a category is describable in monad theoretic terms, and why the limit formation for freely completed categories admits a further adjoint. © 1995.
Kock, A. (1995). Monads for which structures are adjoint to units. Journal of Pure and Applied Algebra, 104(1), 41–59. https://doi.org/10.1016/0022-4049(94)00111-U