Monad compositions II: Kleisli strength

DOI10.1017/S0960129508006695MaRDI QIDQ3520147zbMATH OpenFDO

Authors Ernie Manes, Philip S. Mulry

Publication date 15 August 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129508006695

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract data types; algebraic specification (68Q65)

Recommendations

• Monad compositions. I: General constructions and recursive distributive laws
• Combining a monad and a comonad
• Notions of monad strength
• scientific article; zbMATH DE number 1314227
• Monads on composition graphs

Cites work

• A basic distributive law
• Coequalizers and free triples
• Monads on symmetric monoidal closed categories
• Notions of computation and monads
• Taut monads, dynamic logic and determinism

Cited in

(19)

• Combining a monad and a comonad
• Composition of different-type relations via the Kleisli category for the continuation monad
• Iterated covariant powerset is not a monad
• Near distributive laws
• Iterated distributive laws
• scientific article; zbMATH DE number 4179373 (Why is no real title available?)
• Monad compositions. I: General constructions and recursive distributive laws
• Natural transformations as rewrite rules and monad composition
• Notions of monad strength
• A practical type theory for symmetric monoidal categories
• A coalgebraic take on regular and -regular behaviours
• No-go theorems for distributive laws
• scientific article; zbMATH DE number 7559448 (Why is no real title available?)
• The Power-Set Construction for Tree Algebras
• Weakening and iterating laws using string diagrams
• What monads can and cannot do with a bit of extra time
• What monads can and cannot do with a few extra pages
• No go theorems: directed containers that do not distribute over distribution monads
• Monads and comonads on module categories

This page was built for publication: Monad compositions II: Kleisli strength

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520147)