Pages that link to "Item:Q3625678"
From MaRDI portal
The following pages link to Boolean and classical restriction categories (Q3625678):
Displaying 12 items.
- The algebra of functions with antidomain and range (Q908324) (← links)
- Extending the Ehresmann-Schein-Nambooripad theorem. (Q982210) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- Presheaves over a join restriction category (Q2423834) (← links)
- Restriction categories as enriched categories (Q2435310) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
- Timed Sets, Functional Complexity, and Computability (Q3178279) (← links)
- Categorical semantics of a simple differential programming language (Q5019684) (← links)
- Taut Monads, Dynamic Logic and Determinism (Q5262941) (← links)
- Inclusions for partiality (Q5740618) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)
- Classical distributive restriction categories (Q6593821) (← links)
