Cocompletion of restriction categories

Richard Garner*, Daniel Lin*

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    Abstract

    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
    Volume35
    Publication statusPublished - 2020

    Keywords

    • restriction categories
    • cocompletion
    • presheaves
    • locally small

    Cite this