Monad compositions I: general constructions
and recursive distributive laws
Theory and applications of categories, Tome 18 (2007), pp. 172-208
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
New techniques for constructing a distributive law of a monad over another are studied using submonads, quotient monads, product monads, recursively-defined distributive laws, and linear equations. Sequel papers will consider distributive laws in closed categories and will construct monad approximations for compositions which fail to be a monad.
Classification :
18C15, 18C20
Keywords: distributive law, linear equation
Keywords: distributive law, linear equation
@article{TAC_2007_18_a6,
author = {Ernie Manes and Philip Mulry},
title = {Monad compositions {I:} general constructions
and recursive distributive laws},
journal = {Theory and applications of categories},
pages = {172--208},
year = {2007},
volume = {18},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2007_18_a6/}
}
Ernie Manes; Philip Mulry. Monad compositions I: general constructions and recursive distributive laws. Theory and applications of categories, Tome 18 (2007), pp. 172-208. http://geodesic.mathdoc.fr/item/TAC_2007_18_a6/