Cocompletion of restriction categories
Category Theory
2016-10-25 v1
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.
Keywords
Cite
@article{arxiv.1610.07164,
title = {Cocompletion of restriction categories},
author = {Richard Garner and Daniel Lin},
journal= {arXiv preprint arXiv:1610.07164},
year = {2016}
}