The underlying idea of the categorical approach to denotational semantics is to make a denotational distinction between the operational notions of value and computation by modeling them in two separate categories, namely, the category of values and the category of computations, which is obtained as the Kleisli category of a strong monad on the category of values. This paper identifies the properties a strong monad must possess in order for its Kleisli category to behave like an induced category of partial maps. The authors introduce the notion of an equational lifting monad, which is a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). The main result of the paper is that any equational lifting monad has a representation by a partial map classifier such that the Kleisli category of the former fully embeds in the partial category of the latter.
- Axiomatic Domain Theory in Categories of Partial Maps
- Categories of partial maps
- Generalized Banach-Mazur functionals in the topos of recursive sets
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1330443 (Why is no real title available?)
- scientific article; zbMATH DE number 1555466 (Why is no real title available?)
- Notions of computation and monads
- Partial morphisms in categories of effective objects
- Restriction categories II: Partial map classification
- Restriction categories. I: Categories of partial maps
- Semantics of weakening and contraction
- Strong functors and monoidal monads
- Lifting results for categories of algebras
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- scientific article; zbMATH DE number 1086724 (Why is no real title available?)
- Traced Premonoidal Categories
- scientific article; zbMATH DE number 1497816 (Why is no real title available?)
- Codensity lifting of monads and its dual
- Partial recursive functions and finality
- Partiality and Container Monads
- Lifting as a KZ-doctrine
- Codensity liftings of monads
- Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp
- Computer Science Logic
- Lifting theorems for Kleisli categories
- Equational properties of iterative monads
- Cartesian differential Kleisli categories
- Uniform Elgot iteration in foundations
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)
