一个topos，许多网站
One topos, many sites
摘要：
我们给刻画，几何逻辑的各种片段，分类的理论类的局部连接（分别）。连通的和局部连通的，原子的，紧的，预层的）拓扑，并利用存在的多个网站的定义为一个给定的拓扑建立一些性质的预层型理论的关联。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
