An equational notion of lifting monad

DOI10.1016/S0304-3975(01)00243-2zbMATH Open1022.18003MaRDI QIDQ1398461FDOQ1398461

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

Publication date: 29 July 2003

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

Recommendations

• scientific article; zbMATH DE number 1497816
• scientific article; zbMATH DE number 1086724
• Codensity liftings of monads
• Lifting theorems for Kleisli categories
• Partiality and Container Monads

zbMATH Keywords

partialitypremonoidal categoriesabstract Kleisli categoriescategorical approach to denotational semanticscommutative strong monadspartial categories

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55) Categories of machines, automata (18B20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Notions of computation and monads
• Title not available (Why is that?)
• Restriction categories. I: Categories of partial maps
• Title not available (Why is that?)
• Strong functors and monoidal monads
• Categories of partial maps
• Restriction categories II: Partial map classification
• Semantics of weakening and contraction
• Generalized Banach-Mazur functionals in the topos of recursive sets
• Title not available (Why is that?)
• Axiomatic Domain Theory in Categories of Partial Maps
• Partial morphisms in categories of effective objects
• Title not available (Why is that?)

Cited In (13)

• Partiality and Container Monads
• Lifting theorems for Kleisli categories
• Codensity liftings of monads
• Computer Science Logic
• Codensity lifting of monads and its dual
• Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp
• Title not available (Why is that?)
• Partial recursive functions and finality
• Equational properties of iterative monads
• Lifting results for categories of algebras
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
• Lifting as a KZ-doctrine
• Traced Premonoidal Categories

This page was built for publication: An equational notion of lifting monad

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