Accessible set endofunctors are universal
Libor Barto
TL;DR
The paper demonstrates that any concretizable category can be fully embedded into the category of accessible set functors, establishing a universal property for accessible set endofunctors.
Contribution
It introduces the universality of accessible set endofunctors by showing their capacity to embed any concretizable category fully.
Findings
Every concretizable category can be fully embedded into accessible set functors.
Accessible set endofunctors are universal for concretizable categories.
The result bridges category theory and accessible functor theory.
Abstract
It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.
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
TopicsLogic, programming, and type systems · Logic, Reasoning, and Knowledge · Homotopy and Cohomology in Algebraic Topology