Boolean and classical restriction categories
From MaRDI portal
Publication:3625678
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)
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