Monad compositions I: general constructions and recursive distributive laws

By E. Manes, P. Mulry. Theory and Applications of Categories, 2007

59 citations recorded by the source corpus.

New techniques for constructing a distributive law of a monad over another are studied using submonads, quotient monads, product mon- ads, 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.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/e2484378a7be51cb66c0a2bd58e31d65b94c0f49

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Walter Tholen
2. Dirk Hofmann
3. Gavin J. Seal

In Computational Theory and Mathematics

1. Walter Tholen
2. Dirk Hofmann
3. Gavin J. Seal

Citations in the corpus

• Monoidal topology : a categorical approach to order, metric, and topology (2014, methodology): “H) appeared in [Manes and Mulry, 2007].”