Australian Category Seminar

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