scientific article; zbMATH DE number 1497816

zbMATH Open0966.68107MaRDI QIDQ4499236FDOQ4499236

Authors: Anna Bucalo, Carsten Führmann, Alex Simpson 

Publication date: 4 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• An equational notion of lifting monad
• Equational presentations of functors and monads
• Equational properties of iterative monads
• Codensity liftings of monads
• scientific article; zbMATH DE number 3841844
• Monadic EQ-algebras
• Codensity lifting of monads and its dual
• scientific article; zbMATH DE number 7559448
• scientific article; zbMATH DE number 522862
• Equational theories and monads from polynomial Cayley representations

zbMATH Keywords

equational lifting monad

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (7)

• Partiality and Container Monads
• Deforestation, program transformation, and cut-elimination
• Codensity liftings of monads
• Codensity lifting of monads and its dual
• Equational properties of iterative monads
• An equational notion of lifting monad
• Lifting as a KZ-doctrine

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499236)