Restriction categories III: colimits, partial limits and extensivity
From MaRDI portal
Publication:5756980
DOI10.1017/S0960129507006056zbMATH Open1123.18003MaRDI QIDQ5756980FDOQ5756980
Authors: Stephen Lack, J. R. B. Cockett 
Publication date: 6 September 2007
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
- Presheaves over a join restriction category
- Formalizing Restriction Categories
- Boolean and classical restriction categories
- Cocompletion of restriction categories
- Restriction categories as enriched categories
- Restriction categories. I: Categories of partial maps
- Restriction categories II: Partial map classification
- Elementary observations on 2-categorical limits
- THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. I
- Limit categories of complete categories and \(\eta\)-extensions
Cites Work
- Introduction to extensive and distributive categories
- Dominical categories: recursion theory without elements
- Restriction categories. I: Categories of partial maps
- Strong functors and monoidal monads
- Categories of partial maps
- Restriction categories II: Partial map classification
- Partiality, cartesian closedness, and toposes
- Matrices, relations, and group representations
Cited In (31)
- Partiality and Container Monads
- Generalising the étale groupoid-complete pseudogroup correspondence
- Restriction categories II: Partial map classification
- Regular planar monoidal languages
- Cocompletion of restriction categories
- Join inverse categories as models of reversible recursion
- A categorical foundation for structured reversible flowchart languages: soundness and adequacy
- The Greenberg Functor is Site Cocontinuous
- Boolean and classical restriction categories
- Presheaves over a join restriction category
- Restriction categories as enriched categories
- Classical distributive restriction categories
- Factorization systems for restriction categories
- Restriction categories. I: Categories of partial maps
- Differential structure, tangent structure, and SDG
- Inclusions for partiality
- From reversible programming languages to reversible metalanguages
- Many-one reductions and the category of multivalued functions
- Stable meet semilattice fibrations and free restriction categories
- When do completion processes give rise to extensive categories?
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
- Categorical semantics of a simple differential programming language
- The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders
- A categorical foundation for structured reversible flowchart languages
- Categorical semantics of reversible pattern-matching
- Join inverse rig categories for reversible functional programming, and beyond
- Latent fibrations: fibrations for categories of partial maps
- Timed Sets, Functional Complexity, and Computability
- Join inverse categories and reversible recursion
- Cartesian differential categories revisited
- Condition/decision duality and the internal logic of extensive restriction categories
This page was built for publication: Restriction categories III: colimits, partial limits and extensivity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756980)
