Restriction categories III: colimits, partial limits and extensivity
From MaRDI portal
Publication:5756980
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
- Categories of partial maps
- Dominical categories: recursion theory without elements
- Introduction to extensive and distributive categories
- Matrices, relations, and group representations
- Partiality, cartesian closedness, and toposes
- Restriction categories II: Partial map classification
- Restriction categories. I: Categories of partial maps
- Strong functors and monoidal monads
Cited in
(31)- Generalising the étale groupoid-complete pseudogroup correspondence
- Partiality and Container Monads
- 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
- Differential structure, tangent structure, and SDG
- Classical distributive restriction categories
- Factorization systems for restriction categories
- Restriction categories. I: Categories of partial maps
- 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)
