No-iteration mixed distributive laws

DOI10.1017/S0960129514000656zbMath1375.18028MaRDI QIDQ2973244

Adrian Vazquez-Marquez, Francisco Marmolejo

Publication date: 3 April 2017

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

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (1)

Distributive laws for relative monads

Cites Work

• Notions of computation and monads
• Continuous families of coalgebras
• Coalgebra bundles
• Combining a monad and a comonad
• The formal theory of monads
• Comonadic Notions of Computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: No-iteration mixed distributive laws