An equational notion of lifting monad

DOI10.1016/S0304-3975(01)00243-2zbMath1022.18003MaRDI QIDQ1398461

Carsten Führmann, Anna Bucalo, Alex K. Simpson

Publication date: 29 July 2003

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

zbMATH Keywords

partialitypremonoidal categoriesabstract Kleisli categoriescategorical approach to denotational semanticscommutative strong monadspartial categories

Mathematics Subject Classification ID

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

Related Items (4)

The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Partiality and Container Monads ⋮ Partial Recursive Functions and Finality ⋮ Traced Premonoidal Categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Partial morphisms in categories of effective objects
• Categories of partial maps
• Generalized Banach-Mazur functionals in the topos of recursive sets
• Semantics of weakening and contraction
• Restriction categories II: Partial map classification
• Strong functors and monoidal monads
• Axiomatic Domain Theory in Categories of Partial Maps
• Restriction categories. I: Categories of partial maps

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