Cocompletion of restriction categories
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:X3MGIL2Irecord.jsonopen to challenge →
classification
math.CT
keywords
restrictioncategorycategoriescocompletionsmallcasecocompleteconsider
read the original abstract
Restriction categories were introduced as a way of generalising the notion of partial map categories. In this paper, we define cocomplete restriction category, and give the free cocompletion of a small restriction category as a suitably defined category of restriction presheaves. We also consider the case where our restriction category is locally small.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.