Monads for which structures are adjoint to units Original Research Article

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.