Pseudo-commutative Monads

DOI10.1016/S1571-0661(04)80963-0zbMath1260.18006MaRDI QIDQ4917057

J. M. E. Hyland, A. John Power

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (2)

Combining algebraic effects with continuations ⋮ Combining effects: sum and tensor

Cites Work

• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Two-dimensional monad theory
• Pseudo-commutative monads and pseudo-closed 2-categories
• Calculi for interaction
• The Logic of Bunched Implications
• Premonoidal categories and notions of computation
• Closed categories generated by commutative monads
• Retracing some paths in process algebra

This page was built for publication: Pseudo-commutative Monads