Inclusions for partiality
From MaRDI portal
Publication:5740618
DOI10.1017/S0960129514000036zbMath1362.18008OpenAlexW2001108969MaRDI QIDQ5740618
Publication date: 27 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129514000036
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20)
Cites Work
- Categories of partial maps
- Restriction categories II: Partial map classification
- Boolean and classical restriction categories
- Dominical categories: recursion theory without elements
- Weak inclusion systems
- Restriction categories III: colimits, partial limits and extensivity
- Restriction categories. I: Categories of partial maps