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)

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

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)