Abstract
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.
Original language | English |
---|---|
Article number | 22 |
Pages (from-to) | 809-844 |
Number of pages | 36 |
Journal | Theory and Applications of Categories |
Volume | 35 |
Publication status | Published - 2020 |
Keywords
- restriction categories
- cocompletion
- presheaves
- locally small