No-iteration pseudomonads
Theory and applications of categories, Tome 28 (2013), pp. 371-402
Cet article a éte moissonné depuis 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
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},
year = {2013},
volume = {28},
language = {en},
url = {http://geodesic.mathdoc.fr/item/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/