Monad compositions I: general constructions and recursive distributive laws
Ernie Manes, Philip S. Mulry · Theory and applications of categories · 2007
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.