Monad compositions II: Kleisli strength

DOI10.1017/S0960129508006695zbMATH Open1215.18004MaRDI QIDQ3520147FDOQ3520147

Authors: Ernie Manes, Philip S. Mulry 

Publication date: 15 August 2008

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (15)

• Natural transformations as rewrite rules and monad composition
• Iterated covariant powerset is not a monad
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monad compositions. I: General constructions and recursive distributive laws
• Monads and comonads on module categories
• Iterated distributive laws
• A practical type theory for symmetric monoidal 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)