Geodesic
What is the universal property of the 2-category of monads?
Theory and applications of categories, Hofstra Festschrift, Tome 42 (2024), pp. 2-18 Cet article a éte moissonné depuis la source Theory and Applications of Categories website

Voir la notice de l'article

For a 2-category K, we consider Street's 2-category Mnd(K) of monads in K, along with Lack and Street's 2-category EM(K) and the identity-on-objects-and-1-cells 2-functor Mnd(K) → EM(K) between them. We show that this 2-functor can be obtained as a "free completion" of the 2-functor 1: K → K. We do this by regarding 2-functors which act as the identity on both objects and 1-cells as categories enriched a cartesian closed category BO whose objects are identity-on-objects functors. We also develop some of the theory of BO-enriched categories.

Publié le :
Classification : 18C15, 18C20, 18D20, 18N10, 18A35
Keywords: monads, Eilenberg-Moore objects, limit completions, 2-categories, enriched categories 
@article{TAC_2024_42_a0,
     author = {Stephen Lack and Adrian Miranda},
     title = {What is the universal property of the 2-category of monads?},
     journal = {Theory and applications of categories},
     pages = {2--18},
     year = {2024},
     volume = {42},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2024_42_a0/}
}
TY  - JOUR
AU  - Stephen Lack
AU  - Adrian Miranda
TI  - What is the universal property of the 2-category of monads?
JO  - Theory and applications of categories
PY  - 2024
SP  - 2
EP  - 18
VL  - 42
UR  - http://geodesic.mathdoc.fr/item/TAC_2024_42_a0/
LA  - en
ID  - TAC_2024_42_a0
ER  - 
%0 Journal Article
%A Stephen Lack
%A Adrian Miranda
%T What is the universal property of the 2-category of monads?
%J Theory and applications of categories
%D 2024
%P 2-18
%V 42
%U http://geodesic.mathdoc.fr/item/TAC_2024_42_a0/
%G en
%F TAC_2024_42_a0
Stephen Lack; Adrian Miranda. What is the universal property of the 2-category of monads?. Theory and applications of categories, Hofstra Festschrift, Tome 42 (2024), pp. 2-18. http://geodesic.mathdoc.fr/item/TAC_2024_42_a0/