Restriction categories as enriched categories

DOI10.1016/j.tcs.2013.12.018zbMath1288.18007arXiv1211.6170MaRDI 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

zbMATH Keywords

enriched category; restriction category; \(2\)-category

Mathematics Subject Classification ID

18D20: Enriched categories (over closed or monoidal categories)

Related Items

Latent Fibrations: Fibrations for Categories of Partial Maps, Join inverse categories and reversible recursion, Enriched categories as a free cocompletion, Generalising the étale groupoid-complete pseudogroup correspondence, Join Inverse Categories as Models of Reversible Recursion, Many-one reductions and the category of multivalued functions

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