Boolean and classical restriction categories

DOI10.1017/S0960129509007543zbMath1191.03049MaRDI QIDQ3625678

Ernie Manes, J. Robin B. Cockett

Publication date: 6 May 2009

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

restriction category; partial maps; Boolean category

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

03G30: Categorical logic, topoi

18D99: Categorical structures

03D75: Abstract and axiomatic computability and recursion theory

Related Items

Categorical semantics of a simple differential programming language, Taut Monads, Dynamic Logic and Determinism, Inclusions for partiality, The algebra of functions with antidomain and range, Extending the Ehresmann-Schein-Nambooripad theorem., Domain and range for angelic and demonic compositions, Presheaves over a join restriction category, Restriction categories as enriched categories, MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS, Timed Sets, Functional Complexity, and Computability

Cites Work

• Unnamed Item
• The algebra of functions. II
• Étale groupoids and their quantales
• Categories of partial maps
• Cohesive categories and manifolds
• Monads and algebras in the semantics of partial data types
• Restriction categories II: Partial map classification
• Taut monads and \(T0\)-spaces.
• Guarded and banded semigroups.
• Boolean restriction categories and taut monads
• Function systems
• Relation algebras and function semigroups
• Predicate Transformer Semantics
• Dominical categories: recursion theory without elements
• A CLASS OF RIGHT PP MONOIDS
• Implementing collection classes with monads
• The regular-locally compact coreflection of a stably locally compact locale
• An invitation to \(C\)-semigroups
• Restriction categories. I: Categories of partial maps