Partiality, cartesian closedness, and toposes

DOI10.1016/0890-5401(89)90023-0zbMath0674.18001OpenAlexW2005219276MaRDI QIDQ1121368

Adam Obtułowicz, Pierre-Louis Curien

Publication date: 1989

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(89)90023-0

zbMATH Keywords

programming languagescategory of partial mapsdomaindominionautomated categorical reasoningcategories with partial morphismscategory of total arrowspartial topospartiality in lambda calculuspartially cartesian categorypartially cartesian closed category

Mathematics Subject Classification ID

Related Items (14)

The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Unitary Theories, Unitary Categories ⋮ Partial morphisms in categories of effective objects ⋮ Categories of partial maps ⋮ Cartesian effect categories are Freyd-categories ⋮ A category-theoretic characterization of functional completeness ⋮ PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS ⋮ On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data ⋮ Restriction categories III: colimits, partial limits and extensivity ⋮ Boolean restriction categories and taut monads ⋮ A relational account of call-by-value sequentiality ⋮ Introduction to Turing categories ⋮ Classifying categories for partial equational logic ⋮ A functorial semantics for multi-algebras and partial algebras, with applications to syntax.

Cites Work

• Topoi. The categorial analysis of logic. Rev. ed
• The categorical abstract machine
• Categories of partial maps
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Partiality, cartesian closedness, and toposes