Cocompletion of restriction categories
Richard Garner, Daniel Lin

TL;DR
This paper introduces the concept of cocomplete restriction categories, providing a construction for their free cocompletion via restriction presheaves, and explores the case of locally small restriction categories.
Contribution
It defines cocomplete restriction categories and constructs their free cocompletion, extending the theory of restriction categories with new categorical tools.
Findings
Defined cocomplete restriction categories
Constructed free cocompletion via restriction presheaves
Analyzed locally small restriction categories
Abstract
Restriction categories were introduced as a way of generalising the notion of partial map categories. In this paper, we define cocomplete restriction category, and give the free cocompletion of a small restriction category as a suitably defined category of restriction presheaves. We also consider the case where our restriction category is locally small.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Intracranial Aneurysms: Treatment and Complications
