Geodesic
No-iteration pseudomonads
Theory and applications of categories, Tome 28 (2013), pp. 371-402

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

We present the no-iteration version of the coherence conditions necessary to define a pseudomonad, and a description of the algebras for it in a similar fashion. We show that every no-iteration pseudomonad induces a pseudomonad, and that the corresponding algebras are equivalent. We also show that every pseudomonad induces a no-iteration pseudomonad, and again, that the corresponding algebras are equivalent. We conclude with an analysis of the algebras for the 2-monad $(-)^{\mathbf{2}}$ on Cat in the light of the no-iteration description of the algebras.

Publié le :
Classification : 18B35, 06D10, 06B23
Keywords: Pseudomonad, algebras 
@article{TAC_2013_28_a13,
     author = {F. Marmolejo and R.J. Wood},
     title = {No-iteration pseudomonads},
     journal = {Theory and applications of categories},
     pages = {371--402},
     publisher = {mathdoc},
     volume = {28},
     year = {2013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2013_28_a13/}
}
TY  - JOUR
AU  - F. Marmolejo
AU  - R.J. Wood
TI  - No-iteration pseudomonads
JO  - Theory and applications of categories
PY  - 2013
SP  - 371
EP  - 402
VL  - 28
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2013_28_a13/
LA  - en
ID  - TAC_2013_28_a13
ER  - 
%0 Journal Article
%A F. Marmolejo
%A R.J. Wood
%T No-iteration pseudomonads
%J Theory and applications of categories
%D 2013
%P 371-402
%V 28
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2013_28_a13/
%G en
%F TAC_2013_28_a13
F. Marmolejo; R.J. Wood. No-iteration pseudomonads. Theory and applications of categories, Tome 28 (2013), pp. 371-402. http://geodesic.mathdoc.fr/item/TAC_2013_28_a13/