The following pages link to (Q3767474):
Displaying 23 items.
- Bicategories of processes (Q674474) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Matrices, relations, and group representations (Q757580) (← links)
- Bicategories of spans and relations (Q1065921) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- Categories of partial maps (Q1109871) (← links)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- Partial map classifiers and partial cartesian closed categories (Q1349664) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Finitary birepresentations of finitary bicategories (Q2121277) (← links)
- A categorification of biclosed sets of strings (Q2285295) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- Compact closed bicategories (Q2826239) (← links)
- Cocompletion of restriction categories (Q3294959) (← links)
- (Q3325899) (← links)
- (Q3752560) (← links)
- Idempotents in bicategories (Q3810810) (← links)
- (Q4990312) (← links)
- Degrees of bi-embeddable categoricity (Q4995600) (← links)
- Bicategories of Markov Processes (Q5217300) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)