
TL;DR
This paper characterizes classes of theories classified by specific types of topoi across various geometric logic fragments and explores properties of quotients of presheaf-type theories using multiple sites of definition.
Contribution
It provides new characterizations of theories classified by different topoi and leverages multiple sites to analyze quotients of presheaf-type theories.
Findings
Characterizations of theories classified by locally connected, atomic, compact, presheaf topoi.
Insights into properties of quotients of presheaf-type theories.
Use of multiple sites to establish theoretical properties.
Abstract
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple sites of definition for a given topos to establish some properties of quotients of theories of presheaf type.
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
TopicsAdvanced Algebra and Logic · Rings, Modules, and Algebras
