Recommendations
Cites work
- 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?)
- Axiomatic Domain Theory in Categories of Partial Maps
- Categories of partial maps
- Generalized Banach-Mazur functionals in the topos of recursive sets
- 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
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
- scientific article; zbMATH DE number 1497816 (Why is no real title available?)
- Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp
- Equational properties of iterative monads
- Partial recursive functions and finality
- 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)
