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