Cocompletion of restriction categories
Theory and applications of categories, Tome 35 (2020), pp. 809-844
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
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.
Publié le :
Classification :
18B10, 18A35
Keywords: restriction categories, cocompletion, presheaves, locally small
Keywords: restriction categories, cocompletion, presheaves, locally small
@article{TAC_2020_35_a21,
author = {Richard Garner and Daniel Lin},
title = {Cocompletion of restriction categories},
journal = {Theory and applications of categories},
pages = {809--844},
year = {2020},
volume = {35},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2020_35_a21/}
}
Richard Garner; Daniel Lin. Cocompletion of restriction categories. Theory and applications of categories, Tome 35 (2020), pp. 809-844. http://geodesic.mathdoc.fr/item/TAC_2020_35_a21/