Pages that link to "Item:Q5958307"
From MaRDI portal
The following pages link to Restriction categories. I: Categories of partial maps (Q5958307):
Displaying 50 items.
- Total maps of Turing categories (Q283751) (← links)
- A common framework for restriction semigroups and regular \(*\)-semigroups. (Q418916) (← links)
- Proper two-sided restriction semigroups and partial actions. (Q425303) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Actions and partial actions of inductive constellations. (Q633194) (← links)
- Étale groupoids and their quantales (Q854099) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Categorical simulations (Q964545) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Universal monos in partial morphism categories (Q1037408) (← links)
- On \(U\)-orthodox semigroups. (Q1042885) (← links)
- Mehrfache Partialisierung von Kategorien. (Multiple partialization of categories) (Q1090753) (← links)
- Categories of partial maps (Q1109871) (← links)
- Partial map classifiers and partial cartesian closed categories (Q1349664) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Algebraic properties of Zappa-Szép products of semigroups and monoids (Q1644733) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- Representation of relations by partial maps (Q1840740) (← links)
- Paracategories. I: Internal paracategories and saturated partial algebras (Q1884899) (← links)
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory (Q1884930) (← links)
- Maps. I: Relative to a factorisation system (Q1892302) (← links)
- On lattices of varieties of restriction semigroups. (Q1955758) (← links)
- Sandwich semigroups in locally small categories. I: Foundations (Q1991608) (← links)
- Sandwich semigroups in locally small categories. II: Transformations (Q1991609) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Differential structure, tangent structure, and SDG (Q2015833) (← links)
- Ehresmann theory and partition monoids (Q2019289) (← links)
- Ehresmann semigroups from a range restriction viewpoint (Q2036069) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- Fraction, restriction, and range categories from stable systems of morphisms (Q2173856) (← links)
- Generalising the étale groupoid-complete pseudogroup correspondence (Q2237404) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Corrigendum to: ``Combinatorial categorical equivalences of Dold-Kan type'' (Q2332136) (← links)
- Formalizing abstract computability: Turing categories in Coq (Q2333325) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- A perspective on non-commutative frame theory (Q2400516) (← links)
- Presheaves over a join restriction category (Q2423834) (← links)
- Restriction categories as enriched categories (Q2435310) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- Trace- and pseudo-products: restriction-like semigroups with a band of projections (Q2665920) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Étale inverse semigroupoids: elementary properties, universal constructions and duality (Q2684018) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- The semigroups \(B_2\) and \(B_0\) are inherently nonfinitely based, as restriction semigroups. (Q2854964) (← links)
- On \(U^\sigma\)-abundant semigroups. (Q2880062) (← links)
- Range categories. I: General theory (Q2919772) (← links)
