Restriction categories. I: Categories of partial maps

DOI10.1016/S0304-3975(00)00382-0zbMath0988.18003arXivmath/0610500WikidataQ127615391 ScholiaQ127615391MaRDI QIDQ5958307

Stephen Lack, J. Robin B. Cockett

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0610500

zbMATH Keywords

completenessformal system2-categoryassociated idempotentcategory of partial mapscategory of semilatticescocompletenessdegree of partialityequivalence of 2-categoriesrestriction categoryuniversal realization

Mathematics Subject Classification ID

Related Items (83)

Congruence Lattices of Ideals in Categories and (Partial) Semigroups ⋮ Total maps of Turing categories ⋮ A categorical foundation for structured reversible flowchart languages ⋮ The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Condition/decision duality and the internal logic of extensive restriction categories ⋮ Reversible effects as inverse arrows ⋮ Domain and Range Operations in Semigroups and Rings ⋮ Partiality and Container Monads ⋮ Unitary Theories, Unitary Categories ⋮ Timed Sets, Functional Complexity, and Computability ⋮ Algebraic properties of Zappa-Szép products of semigroups and monoids ⋮ Étale groupoids and their quantales ⋮ Tensor-restriction categories ⋮ A perspective on non-commutative frame theory ⋮ Moment categories and operads ⋮ Fraction, restriction, and range categories from stable systems of morphisms ⋮ Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ Trace- and pseudo-products: restriction-like semigroups with a band of projections ⋮ AGREE – Algebraic Graph Rewriting with Controlled Embedding ⋮ Fundamentals of compositional rewriting theory ⋮ The Category TOF ⋮ Categorical semantics of a simple differential programming language ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ An equational notion of lifting monad ⋮ Restriction categories II: Partial map classification ⋮ Presheaves over a join restriction category ⋮ A characterization of generalized existential completions ⋮ Étale inverse semigroupoids: elementary properties, universal constructions and duality ⋮ A common framework for restriction semigroups and regular \(*\)-semigroups. ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Proper two-sided restriction semigroups and partial actions. ⋮ Moore-Penrose Dagger Categories ⋮ Actions and partial actions of inductive constellations. ⋮ The algebra of functions with antidomain and range ⋮ Restriction categories as enriched categories ⋮ Cartesian differential categories revisited ⋮ Many-one reductions and the category of multivalued functions ⋮ On lattices of varieties of restriction semigroups. ⋮ Unnamed Item ⋮ AMALGAMABLE DIAGRAM SHAPES ⋮ FREE ADEQUATE SEMIGROUPS ⋮ PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS ⋮ Extending List’s Levels ⋮ Domain and range for angelic and demonic compositions ⋮ Generalising the étale groupoid-complete pseudogroup correspondence ⋮ Join inverse categories and reversible recursion ⋮ Sandwich semigroups in locally small categories. I: Foundations ⋮ Sandwich semigroups in locally small categories. II: Transformations ⋮ Varieties ofP-Restriction Semigroups ⋮ Classical Structures Based on Unitaries ⋮ Categorical simulations ⋮ On the Functor ℓ2 ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ Finitary -adhesive categories ⋮ Inclusions for partiality ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Differential structure, tangent structure, and SDG ⋮ Ehresmann theory and partition monoids ⋮ The Ehresmann-Schein-Nambooripad Theorem for Inverse Categories ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Restriction categories III: colimits, partial limits and extensivity ⋮ Unnamed Item ⋮ Boolean restriction categories and taut monads ⋮ Introduction to Turing categories ⋮ Extensions and covers for semigroups whose idempotents form a left regular band. ⋮ Ehresmann semigroups from a range restriction viewpoint ⋮ Boolean and classical restriction categories ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ THE FREE AMPLE MONOID ⋮ Retracts of trees and free left adequate semigroups ⋮ Partial Maps with Domain and Range: Extending Schein's Representation ⋮ Restriction Semigroups and Inductive Constellations ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS ⋮ On \(U\)-orthodox semigroups. ⋮ Corrigendum to: ``Combinatorial categorical equivalences of Dold-Kan type ⋮ Formalizing abstract computability: Turing categories in Coq ⋮ THE SEMIGROUPS B₂ AND B₀ ARE INHERENTLY NONFINITELY BASED, AS RESTRICTION SEMIGROUPS ⋮ Aspects of Categorical Recursion Theory ⋮ Taut Monads, Dynamic Logic and Determinism ⋮ Cocompletion of restriction categories ⋮ Concurrency theorems for non-linear rewriting theories ⋮ On U^σ-Abundant Semigroups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Categories of partial maps
• Two-dimensional monad theory
• Monads and algebras in the semantics of partial data types
• Introduction to extensive and distributive categories
• Semantics of weakening and contraction
• Partial map classifiers and partial cartesian closed categories
• Restriction categories II: Partial map classification
• Syntactic control of interference revisited
• Dominical categories: recursion theory without elements
• Introduction to distributive categories
• Restriction categories III: colimits, partial limits and extensivity
• Lifting theorems for Kleisli categories

This page was built for publication: Restriction categories. I: Categories of partial maps