Monads as Extension Systems - No Iteration is Necessary
Theory and applications of categories, Tome 24 (2010), pp. 84-113
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
We introduce a description of the algebras for a monad in terms of extension systems, similar to the one for monads given by Manes. We rewrite distributive laws for monads and wreaths in terms of this description, avoiding the iteration of the functors involved. We give a profunctorial explanation of why Manes' description of monads in terms of extension systems works.
Classification :
18C15, 18C20, 18D05
Keywords: extension systems, monads, distributive laws, wreaths, profunctors
Keywords: extension systems, monads, distributive laws, wreaths, profunctors
@article{TAC_2010_24_a3,
author = {F. Marmolejo and R. J. Wood},
title = {Monads as {Extension} {Systems} - {No} {Iteration} is {Necessary}},
journal = {Theory and applications of categories},
pages = {84--113},
year = {2010},
volume = {24},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2010_24_a3/}
}
F. Marmolejo; R. J. Wood. Monads as Extension Systems - No Iteration is Necessary. Theory and applications of categories, Tome 24 (2010), pp. 84-113. http://geodesic.mathdoc.fr/item/TAC_2010_24_a3/