Restriction categories III: colimits, partial limits and extensivity
From MaRDI portal
Publication:5756980
DOI10.1017/S0960129507006056zbMath1123.18003MaRDI QIDQ5756980
Stephen Lack, J. Robin B. Cockett
Publication date: 6 September 2007
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items (21)
A categorical foundation for structured reversible flowchart languages ⋮ Condition/decision duality and the internal logic of extensive restriction categories ⋮ From reversible programming languages to reversible metalanguages ⋮ Partiality and Container Monads ⋮ Timed Sets, Functional Complexity, and Computability ⋮ Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ Categorical semantics of a simple differential programming language ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ Restriction categories II: Partial map classification ⋮ The Greenberg Functor is Site Cocontinuous ⋮ Restriction categories as enriched categories ⋮ Cartesian differential categories revisited ⋮ Many-one reductions and the category of multivalued functions ⋮ Generalising the étale groupoid-complete pseudogroup correspondence ⋮ Join inverse categories and reversible recursion ⋮ Inclusions for partiality ⋮ Differential structure, tangent structure, and SDG ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Restriction categories. I: Categories of partial maps ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ Cocompletion of restriction categories
Cites Work
- Matrices, relations, and group representations
- Categories of partial maps
- Partiality, cartesian closedness, and toposes
- Introduction to extensive and distributive categories
- Restriction categories II: Partial map classification
- Strong functors and monoidal monads
- Dominical categories: recursion theory without elements
- Restriction categories. I: Categories of partial maps
This page was built for publication: Restriction categories III: colimits, partial limits and extensivity
