Restriction categories were introduced as a way of generalising the notion of partial map category. In this paper, we define a notion of cocompleteness for restriction categories, and describe the free cocompletion of a small restriction category as a suitably defined category of restriction presheaves. We also consider free cocompletions in the case where our restriction category is only locally small.
|Number of pages||36|
|Journal||Theory and Applications of Categories|
|Publication status||Published - 2020|
- restriction categories
- locally small