Restriction categories as enriched categories
From MaRDI portal
Publication:2435310
DOI10.1016/j.tcs.2013.12.018zbMath1288.18007arXiv1211.6170OpenAlexW2154866826MaRDI QIDQ2435310
Richard Garner, J. Robin B. Cockett
Publication date: 4 February 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1211.6170
Related Items
Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ Enriched categories as a free cocompletion ⋮ Many-one reductions and the category of multivalued functions ⋮ Generalising the étale groupoid-complete pseudogroup correspondence ⋮ Join inverse categories and reversible recursion ⋮ Join Inverse Categories as Models of Reversible Recursion
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Enriched categories as a free cocompletion
- Introduction to Turing categories
- Cartesian bicategories. I
- Categories of partial maps
- Sheaves on sites as Cauchy-complete categories
- Cohesive categories and manifolds
- Restriction categories II: Partial map classification
- Differential structure, tangent structure, and SDG
- Enriched indexed categories
- Differential restriction categories
- Timed Sets, Functional Complexity, and Computability
- Boolean and classical restriction categories
- Dominical categories: recursion theory without elements
- The comprehensive factorization of a functor
- On closed categories of functors
- Note on monoidal localisation
- Restriction categories III: colimits, partial limits and extensivity
- An invitation to \(C\)-semigroups
- Restriction categories. I: Categories of partial maps
- Generalized enrichment of categories
This page was built for publication: Restriction categories as enriched categories
