On the dependent product in toposes
Olivia Caramello, Riccardo Zanfa
TL;DR
This paper provides an explicit construction of the dependent product in elementary toposes and describes it in the context of Grothendieck toposes using site-theoretic methods.
Contribution
It introduces a concrete construction of the dependent product in elementary toposes and offers a site-theoretic description for Grothendieck toposes, advancing the understanding of topos-theoretic structures.
Findings
Explicit construction of dependent product in elementary toposes
Site-theoretic description for Grothendieck toposes
Enhanced understanding of topos-theoretic structures
Abstract
We give an explicit construction of the dependent product in an elementary topos, and a site-theoretic description for it in the case of a Grothendieck topos.
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.