The following pages link to Categories of partial maps (Q1109871):
Displaying 28 items.
- Grammar Morphisms and Weakly Adhesive Categories (Q3540427) (← links)
- PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS (Q3545893) (← links)
- Boolean and classical restriction categories (Q3625678) (← links)
- (Q3752560) (← links)
- REDUCIBILITY IN SOME CATEGORIES OF PARTIAL RECURSIVE OPERATORS (Q4295215) (← links)
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334) (← links)
- An algebraic approach to categories of partial morphisms (Q4532605) (← links)
- Game theoretic analysis of call-by-value computation (Q4571955) (← links)
- Partial category actions on sets and topological spaces (Q4643657) (← links)
- Order-enrichment for categories of partial maps (Q4882490) (← links)
- On inverse categories and transfer in cohomology (Q4911207) (← links)
- Constraining rule-based dynamics with types (Q4917189) (← links)
- On factorisation systems for Ord-enriched categories and categories of partial maps (Q5025074) (← links)
- Partiality and Container Monads (Q5056003) (← links)
- The S-replete construction (Q5057468) (← links)
- Relational structures and their partial morphisms in view of single pushout rewriting (Q5096284) (← links)
- Single Pushout Rewriting in Comprehensive Systems (Q5100728) (← links)
- Categories of functors between categories with partial morphisms (Q5476505) (← links)
- Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
- Inclusions for partiality (Q5740618) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
- Partialising institutions (Q6185812) (← links)
- The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders (Q6645577) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)
- Characterizations of some (weak) Grothendieck topologies (Q6651024) (← links)
- Algebraic properties and transformations of monographs (Q6652464) (← links)
