scientific article; zbMATH DE number 1497816

MaRDI QIDQ4499236zbMATH OpenFDO

Authors Anna Bucalo, Carsten Führmann, Alex Simpson

Publication date 4 March 2001

zbMATH Keywords

equational lifting monad

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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

Cited in

(8)

• Partiality and Container Monads
• Deforestation, program transformation, and cut-elimination
• Equational theories and monads from polynomial Cayley representations
• 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)