Geodesic
Distributive laws for pseudomonads
Theory and applications of categories, Tome 5 (1999), pp. 81-147

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

We define distributive laws between pseudomonads in a Gray-category A, as the classical two triangles and the two pentagons but commuting only up to isomorphism. These isomorphisms must satisfy nine coherence conditions. We also define the \gray-category PSM(A) of pseudomonads in A, and define a lifting to be a pseudomonad in PSM(A). We define what is a pseudomonad with compatible structure with respect to two given pseudomonads. We show how to obtain a pseudomonad with compatible structure from a distributive law, how to get a lifting from a pseudomonad with compatible structure, and how to obtain a distributive law from a lifting. We show that one triangle suffices to define a distributive law in case that one of the pseudomonads is a (co-)KZ-doctrine and the other a KZ-doctrine.

Classification : 18C15, 18D05, 18D20.
Keywords: Pseudomonads, distributive laws, KZ-doctrines, Gray-categories. 
@article{TAC_1999_5_a4,
     author = {Francisco Marmolejo},
     title = {Distributive laws for pseudomonads},
     journal = {Theory and applications of categories},
     pages = {81--147},
     publisher = {mathdoc},
     volume = {5},
     year = {1999},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_1999_5_a4/}
}
TY  - JOUR
AU  - Francisco Marmolejo
TI  - Distributive laws for pseudomonads
JO  - Theory and applications of categories
PY  - 1999
SP  - 81
EP  - 147
VL  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_1999_5_a4/
LA  - en
ID  - TAC_1999_5_a4
ER  - 
%0 Journal Article
%A Francisco Marmolejo
%T Distributive laws for pseudomonads
%J Theory and applications of categories
%D 1999
%P 81-147
%V 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_1999_5_a4/
%G en
%F TAC_1999_5_a4
Francisco Marmolejo. Distributive laws for pseudomonads. Theory and applications of categories, Tome 5 (1999), pp. 81-147. http://geodesic.mathdoc.fr/item/TAC_1999_5_a4/