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.
Back