Cocompletion of restriction categories

Richard Garner*, Daniel Lin*

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review


    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.

    Original languageEnglish
    Article number22
    Pages (from-to)809-844
    Number of pages36
    JournalTheory and Applications of Categories
    Publication statusPublished - 2020


    • restriction categories
    • cocompletion
    • presheaves
    • locally small


    Dive into the research topics of 'Cocompletion of restriction categories'. Together they form a unique fingerprint.

    Cite this