Monad compositions II: Kleisli strength

DOI10.1017/S0960129508006695zbMath1215.18004MaRDI QIDQ3520147

Ernie Manes, Philip S. Mulry

Publication date: 15 August 2008

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

Mathematics Subject Classification ID

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

Related Items (7)

Iterated covariant powerset is not a monad ⋮ Near distributive laws ⋮ The Power-Set Construction for Tree Algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Monads and comonads on module categories

Cites Work

• Notions of computation and monads
• Coequalizers and free triples
• Monads on symmetric monoidal closed categories
• Taut Monads, Dynamic Logic and Determinism
• A basic distributive law

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