Boolean and classical restriction categories

DOI10.1017/S0960129509007543MaRDI QIDQ3625678zbMATH OpenFDO

Authors Ernie Manes, J. R. B. Cockett

Publication date 6 May 2009

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

Full work available at URL https://doi.org/10.1017/S0960129509007543

zbMATH Keywords

Boolean categorypartial mapsrestriction category

Mathematics Subject Classification ID

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

Recommendations

• Boolean restriction categories and taut monads
• Restriction categories. I: Categories of partial maps
• Restriction categories II: Partial map classification
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories as enriched categories

Cites work

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

Cited in

(20)

• Domain and range for angelic and demonic compositions
• Condition/decision duality and the internal logic of extensive restriction categories
• Presheaves over a join restriction category
• Restriction categories as enriched categories
• Boolean restriction categories and taut monads
• Modal restriction semigroups: towards an algebra of functions.
• Timed Sets, Functional Complexity, and Computability
• scientific article; zbMATH DE number 4112055 (Why is no real title available?)
• Categorical semantics of a simple differential programming language
• CATEGORY OF STRIP FOLDING IN TERMS OF A BOOLEAN MATRIX REPRESENTATION
• Formalizing Restriction Categories
• Taut monads, dynamic logic and determinism
• On the axiomatisation of Boolean categories with and without medial
• New Computational Paradigms
• Inclusions for partiality
• Restriction categories III: colimits, partial limits and extensivity
• Classical distributive restriction categories
• Relating ample and biample topological categories with Boolean restriction and range semigroups
• The algebra of functions with antidomain and range
• Extending the Ehresmann-Schein-Nambooripad theorem.

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3625678)