Restriction categories. I: Categories of partial maps
From MaRDI portal
Abstract: A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of partial maps are restriction categories; conversely, a restriction category is a category of partial maps if and only if the restriction idempotents split. Restriction categories facilitate reasoning about partial maps as they have a purely algebraic formulation. In this paper we consider colimits and limits in restriction categories. As the notion of restriction category is not self-dual, we should not expect colimits and limits in restriction categories to behave in the same manner. The notion of colimit in the restriction context is quite straightforward, but limits are more delicate. The suitable notion of limit turns out to be a kind of lax limit, satisfying certain extra properties. Of particular interest is the behaviour of the coproduct both by itself and with respect to partial products. We explore various conditions under which the coproducts are ``extensive in the sense that the total category (of the related partial map category) becomes an extensive category. When partial limits are present, they become ordinary limits in the total category. Thus, when the coproducts are extensive we obtain as the total category a lextensive category. This provides, in particular, a description of the extensive completion of a distributive category.
Recommendations
Cites work
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Categories of partial maps
- Dominical categories: recursion theory without elements
- scientific article; zbMATH DE number 3979049 (Why is no real title available?)
- scientific article; zbMATH DE number 4025656 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1086724 (Why is no real title available?)
- scientific article; zbMATH DE number 774488 (Why is no real title available?)
- scientific article; zbMATH DE number 789816 (Why is no real title available?)
- Introduction to distributive categories
- Introduction to extensive and distributive categories
- Lifting theorems for Kleisli categories
- Monads and algebras in the semantics of partial data types
- Partial map classifiers and partial cartesian closed categories
- Restriction categories II: Partial map classification
- Restriction categories III: colimits, partial limits and extensivity
- Semantics of weakening and contraction
- Syntactic control of interference revisited
- Two-dimensional monad theory
Cited in
(only showing first 100 items - show all)- Universal monos in partial morphism categories
- On \(U\)-orthodox semigroups.
- Mehrfache Partialisierung von Kategorien. (Multiple partialization of categories)
- Categories of partial maps
- Partial map classifiers and partial cartesian closed categories
- An equational notion of lifting monad
- Restriction categories II: Partial map classification
- Algebraic properties of Zappa-Szép products of semigroups and monoids
- Domain and range for angelic and demonic compositions
- Representation of relations by partial maps
- Paracategories. I: Internal paracategories and saturated partial algebras
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory
- Maps. I: Relative to a factorisation system
- On lattices of varieties of restriction semigroups.
- Sandwich semigroups in locally small categories. I: Foundations
- Sandwich semigroups in locally small categories. II: Transformations
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Differential structure, tangent structure, and SDG
- Ehresmann theory and partition monoids
- Ehresmann semigroups from a range restriction viewpoint
- Concurrency theorems for non-linear rewriting theories
- A categorical foundation for structured reversible flowchart languages
- Condition/decision duality and the internal logic of extensive restriction categories
- Reversible effects as inverse arrows
- Fraction, restriction, and range categories from stable systems of morphisms
- Generalising the étale groupoid-complete pseudogroup correspondence
- Monoids with tests and the algebra of possibly non-halting programs
- Corrigendum to: ``Combinatorial categorical equivalences of Dold-Kan type
- Formalizing abstract computability: Turing categories in Coq
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- A perspective on non-commutative frame theory
- Presheaves over a join restriction category
- Restriction categories as enriched categories
- Boolean restriction categories and taut monads
- Trace- and pseudo-products: restriction-like semigroups with a band of projections
- A characterization of generalized existential completions
- Étale inverse semigroupoids: elementary properties, universal constructions and duality
- Join inverse categories as models of reversible recursion
- Total maps of Turing categories
- The semigroups B₂ and B₀ are inherently nonfinitely based, as restriction semigroups.
- On U^-abundant semigroups.
- Range categories. I: General theory
- Range categories II: Towards regularity
- AGREE -- algebraic graph rewriting with controlled embedding
- Cartesian differential categories revisited
- Many-one reductions and the category of multivalued functions
- Retracts of trees and free left adequate semigroups.
- Modal restriction semigroups: towards an algebra of functions.
- Unitary theories, unitary categories
- Timed Sets, Functional Complexity, and Computability
- Cocompletion of restriction categories
- Extending List's levels
- scientific article; zbMATH DE number 3863435 (Why is no real title available?)
- The category \textsf{CNOT}
- The category \textsf{TOF}
- Partial Maps with Domain and Range: Extending Schein's Representation
- Restriction semigroups and inductive constellations.
- Stable meet semilattice fibrations and free restriction categories
- Domain and range operations in semigroups and rings.
- PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS
- Boolean and classical restriction categories
- THE FREE AMPLE MONOID
- scientific article; zbMATH DE number 3989611 (Why is no real title available?)
- A common framework for restriction semigroups and regular *-semigroups.
- Proper two-sided restriction semigroups and partial actions.
- Lax pullback complements and pullbacks of spans
- The Ehresmann-Schein-Nambooripad theorem for inverse categories
- A categorical foundation for structured reversible flowchart languages: soundness and adequacy
- AMALGAMABLE DIAGRAM SHAPES
- On the Functor ℓ2
- Tensor-restriction categories
- Latent fibrations: fibrations for categories of partial maps
- Aspects of categorical recursion theory
- Categorical semantics of a simple differential programming language
- Partiality and Container Monads
- Join inverse categories and reversible recursion
- Formalizing Restriction Categories
- Inversion, iteration, and the art of dual wielding
- Taut monads, dynamic logic and determinism
- Free adequate semigroups.
- Varieties of \(P\)-restriction semigroups.
- Classical structures based on unitaries
- Finitary \(\mathcal{M}\)-adhesive categories
- Inclusions for partiality
- Restriction categories III: colimits, partial limits and extensivity
- Moment categories and operads
- Congruence Lattices of Ideals in Categories and (Partial) Semigroups
- Extensions and covers for semigroups whose idempotents form a left regular band.
- Fundamentals of compositional rewriting theory
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
- Graph rewriting and relabeling with PBPO^+: a unifying theory for quasitoposes
- Moore-Penrose Dagger Categories
- Actions and partial actions of inductive constellations.
- Regular planar monoidal languages
- Classical distributive restriction categories
- Factorization systems for restriction categories
- Compact inverse categories
- The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders
- Bennett and Stinespring, together at last
- Monoidal streams for dataflow programming
This page was built for publication: Restriction categories. I: Categories of partial maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5958307)
