Partial map classifiers and partial cartesian closed categories

DOI10.1016/0304-3975(94)00124-2zbMath0874.68183OpenAlexW2094537092MaRDI QIDQ1349664

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)

Related Items (7)

Lifting theorems for Kleisli categories ⋮ Quotienting the delay monad by weak bisimilarity ⋮ Restriction categories II: Partial map classification ⋮ Restriction categories. I: Categories of partial maps ⋮ Formalizing abstract computability: Turing categories in Coq ⋮ Cocompletion of restriction categories ⋮ Lifting results for categories of algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial morphisms in categories of effective objects
• Generalized Banach-Mazur functionals in the topos of recursive sets
• Extensional PERs
• Monads and algebras in the semantics of partial data types
• Lifting results for categories of algebras

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