Pages that link to "Item:Q5958307"

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)
• On \(U\)-orthodox semigroups. (Q1042885) (← 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)
• 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₂ AND B₀ ARE INHERENTLY NONFINITELY BASED, AS RESTRICTION SEMIGROUPS (Q2854964) (← links)
• On U^σ-Abundant Semigroups (Q2880062) (← links)
• AGREE – Algebraic Graph Rewriting with Controlled Embedding (Q2947209) (← links)
• Cartesian differential categories revisited (Q2973248) (← links)
• Many-one reductions and the category of multivalued functions (Q2973252) (← links)
• Retracts of trees and free left adequate semigroups (Q3094674) (← links)
• MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
• Unitary Theories, Unitary Categories (Q3178243) (← links)
• Timed Sets, Functional Complexity, and Computability (Q3178279) (← links)
• Cocompletion of restriction categories (Q3294959) (← links)