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 categorypartial mapsBoolean category

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Categorical structures (18D99) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (10)

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

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

This page was built for publication: Boolean and classical restriction categories