Pages that link to "Item:Q2435310"
From MaRDI portal
The following pages link to Restriction categories as enriched categories (Q2435310):
Displaying 8 items.
- Join inverse categories and reversible recursion (Q511931) (← links)
- Enriched categories as a free cocompletion (Q904009) (← links)
- Generalising the étale groupoid-complete pseudogroup correspondence (Q2237404) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- Many-one reductions and the category of multivalued functions (Q2973252) (← links)
- Latent Fibrations: Fibrations for Categories of Partial Maps (Q5004679) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)
- Join inverse rig categories for reversible functional programming, and beyond (Q6653754) (← links)
