Partial map classifiers and partial cartesian closed categories

DOI10.1016/0304-3975(94)00124-2MaRDI QIDQ1349664zbMATH OpenOpenAlexFDO

Authors Philip S. Mulry

Publication date 27 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(94)00124-2

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4108981
• Categories of partial maps
• scientific article; zbMATH DE number 940753
• scientific article; zbMATH DE number 4025656
• Another Cartesian closed category of partial algebras
• scientific article; zbMATH DE number 13457
• Cartesian closed categories of algebraic cpos
• scientific article; zbMATH DE number 4021100
• Restriction categories. I: Categories of partial maps
• scientific article; zbMATH DE number 1284147

Cites work

• scientific article; zbMATH DE number 4108981 (Why is no real title available?)
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Extensional PERs
• Generalized Banach-Mazur functionals in the topos of recursive sets
• Lifting results for categories of algebras
• Monads and algebras in the semantics of partial data types
• Partial morphisms in categories of effective objects

Cited in

(14)

• Categories of partial maps
• Restriction categories II: Partial map classification
• Cocompletion of restriction categories
• Formalizing abstract computability: Turing categories in Coq
• Lifting theorems for Kleisli categories
• ``Pathologies in two syntactic categories of partial maps
• Restriction categories. I: Categories of partial maps
• scientific article; zbMATH DE number 4021100 (Why is no real title available?)
• Lifting results for categories of algebras
• Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction
• Characterizations of some (weak) Grothendieck topologies
• Partiality, cartesian closedness, and toposes
• Quotienting the delay monad by weak bisimilarity
• scientific article; zbMATH DE number 4108981 (Why is no real title available?)

This page was built for publication: Partial map classifiers and partial cartesian closed categories

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