Restriction free cocompletion via restriction presheaves

Daniel Lin – 25 November 2015

Category theorists know well that the Yoneda embedding exhibits the presheaf category as the free cocompletion of any small category C. On the other hand, restriction categories have been less well-studied (as they were only introduced in the 1990's). In this talk, we give an analogue of free cocompletion within the restriction setting by introducing the notion of restriction presheaf.