Voir la notice de l'article provenant de la source Theory and Applications of Categories website
We pursue the definition of a KZ-doctrine in terms of a fully faithful adjoint string Dd -| m -| dD. We give the definition in any Gray-category. The concept of algebra is given as an adjunction with invertible counit. We show that these doctrines are instances of more general pseudomonads. The algebras for a pseudomonad are defined in more familiar terms and shown to be the same as the ones defined as adjunctions when we start with a KZ-doctrine.
@article{TAC_1997_3_a1, author = {F. Marmolejo}, title = {Doctrines whose structure forms a fully faithful adjoint string}, journal = {Theory and applications of categories}, pages = {23--24}, publisher = {mathdoc}, volume = {3}, year = {1997}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_1997_3_a1/} }
F. Marmolejo. Doctrines whose structure forms a fully faithful adjoint string. Theory and applications of categories, Tome 3 (1997), pp. 23-24. http://geodesic.mathdoc.fr/item/TAC_1997_3_a1/