Geodesic
A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories
Theory and applications of categories, Tome 37 (2021), pp. 996-1016

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

We define Frobenius-Eilenberg-Moore objects for a dagger Frobenius monad in an arbitrary dagger 2-category, and extend to the dagger context a well-known universal property of the formal theory of monads. We show that the free completion of a 2-category under Eilenberg-Moore objects extends to the dagger context, provided one is willing to work with those dagger Frobenius monads for which the endofunctor suitably commutes with the unit. Finally, we define dagger lax functors and dagger lax-limits of such functors, and show that Frobenius-Eilenberg-Moore objects are examples of such limits.

Publié le :
Classification : 18A35, 18A40, 18C15, 18C20, 18D70, 18N10, 18N15
Keywords: Dagger category, Frobenius monad, Lax functor, Kleisli category, Eilenberg-Moore category 
@article{TAC_2021_37_a30,
     author = {Rowan Poklewski-Koziell},
     title = {A note on {Frobenius-Eilenberg-Moore} objects in dagger 2-categories},
     journal = {Theory and applications of categories},
     pages = {996--1016},
     publisher = {mathdoc},
     volume = {37},
     year = {2021},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2021_37_a30/}
}
TY  - JOUR
AU  - Rowan Poklewski-Koziell
TI  - A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories
JO  - Theory and applications of categories
PY  - 2021
SP  - 996
EP  - 1016
VL  - 37
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2021_37_a30/
LA  - en
ID  - TAC_2021_37_a30
ER  - 
%0 Journal Article
%A Rowan Poklewski-Koziell
%T A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories
%J Theory and applications of categories
%D 2021
%P 996-1016
%V 37
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2021_37_a30/
%G en
%F TAC_2021_37_a30
Rowan Poklewski-Koziell. A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories. Theory and applications of categories, Tome 37 (2021), pp. 996-1016. http://geodesic.mathdoc.fr/item/TAC_2021_37_a30/