Geodesic
Kleisli categories, T-categories and internal categories
Theory and applications of categories, Tome 41 (2024), pp. 1108-1159

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

We investigate the properties of the Kleisli category Kl T of a monad T on a category E and in particular the existence of (some kind of) pullbacks. This culminates when the monad is cartesian. In this case, we show that any T-category in E in the sense of A. Burroni coincides with a special kind of internal category in Kl T. Thus, it is the case in particular for T-operads and T-multicategories. More unexpectedly, this, in turn, sheds new conceptual lights on internal categories and n-categories.

Publié le :
Classification : 18C20, 18D40, 18M60, 18M65, 18N50
Keywords: Internal categories and groupoids, Kleisli categories, T-categories, internal n-categories and n-groupoids, operads, multicategories. 
@article{TAC_2024_41_a33,
     author = {Dominique Bourn},
     title = {Kleisli categories, {T-categories} and internal categories},
     journal = {Theory and applications of categories},
     pages = {1108--1159},
     publisher = {mathdoc},
     volume = {41},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2024_41_a33/}
}
TY  - JOUR
AU  - Dominique Bourn
TI  - Kleisli categories, T-categories and internal categories
JO  - Theory and applications of categories
PY  - 2024
SP  - 1108
EP  - 1159
VL  - 41
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2024_41_a33/
LA  - en
ID  - TAC_2024_41_a33
ER  - 
%0 Journal Article
%A Dominique Bourn
%T Kleisli categories, T-categories and internal categories
%J Theory and applications of categories
%D 2024
%P 1108-1159
%V 41
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2024_41_a33/
%G en
%F TAC_2024_41_a33
Dominique Bourn. Kleisli categories, T-categories and internal categories. Theory and applications of categories, Tome 41 (2024), pp. 1108-1159. http://geodesic.mathdoc.fr/item/TAC_2024_41_a33/