Information and Computation
Variations on the bagdomain theme
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics. Part II : lambda calculus and domain theory: lambda calculus and domain theory
Partial map classifiers and partial cartesian closed categories
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics. Part II : lambda calculus and domain theory: lambda calculus and domain theory
Restriction categories I: categories of partial maps
Theoretical Computer Science
Lifting Theorems for Kleisli Categories
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
An equational notion of lifting monad
Theoretical Computer Science - Category theory and computer science
Restriction categories I: categories of partial maps
Theoretical Computer Science
An equational notion of lifting monad
Theoretical Computer Science - Category theory and computer science
The HASCASL prologue: categorical syntax and semantics of the partial λ-calculus
Theoretical Computer Science
Restriction categories III: colimits, partial limits and extensivity
Mathematical Structures in Computer Science
Boolean and classical restriction categories
Mathematical Structures in Computer Science
Restriction categories as enriched categories
Theoretical Computer Science
Hi-index | 0.00 |
An algebraic characterization of monads which are abstract partial map classifiers is provided, without the assumption that the categories of total maps possess products. By an abstract partial map classifier we mean a monad whose Kleisli category is a full subcategory of a partial map category wherein the induced comonad classifies partial maps in the usual sense. A construction of the corresponding actual partial map classifier from an abstract one is described, and conditions for an abstract partial map classifier to be a real one are provided. The paper uses the notion of a restriction category developed in earlier work, and the characterization of these as full subcategories of partial map categories.