Monads for which Structures are Adjoint to Units
Abstract 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.