TL;DR
This paper explores the concept of predicative toposes, proposing two definitions and establishing foundational results to motivate further research in this area.
Contribution
It introduces two new definitions of predicative toposes and develops basic results to support future investigations.
Findings
Proposed two definitions of predicative toposes
Established foundational results for each definition
Laid groundwork for future research in predicative topos theory
Abstract
We explain the motivation for looking for a predicative analogue of the notion of a topos and propose two definitions. For both notions of a predicative topos we will present the basic results, providing the groundwork for future work in this area.
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