[论文解读] A Theory of Elementary Higher Toposes

Nima Rasekh|arXiv (Cornell University)|May 10, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 13

一句话总结

本文引入了一种类高阶初等拓扑斯的新概念，统一了初等拓扑斯与格罗滕迪克 ∞-拓扑斯，确立了诸如下降性、局部笛卡尔闭包性以及同伦等价态射分类等基础性质。主要贡献在于将拓扑斯理论推广至同伦数学领域，通过 ind-完备化提供了一种替代表征，并利用滤子商构造出非格罗滕迪克型的例子。

ABSTRACT

We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure, locality and classification of univalent morphisms, generalizing results by Lurie and Gepner-Kock. We also define $\infty$-logical functors and show the resulting $\infty$-category is closed under limits and filtered colimits, generalizing the analogous result for elementary toposes and Grothendieck $\infty$-toposes. Moreover, we give an alternative characterization of elementary $\infty$-toposes and their $\infty$-logical functors via their ind-completions. Finally we generalize these results by discussing the case of elementary (n,1)-toposes and give various examples and non-examples.

研究动机与目标

• 通过将初等拓扑斯基于高范畴推广，为数学建立一种类似集合论与类型论的同伦不变基础。
• 定义一个初等 ∞-拓扑斯，使其同时推广初等拓扑斯与格罗滕迪克 ∞-拓扑斯。
• 证明此类 ∞-拓扑斯满足核心拓扑斯理论性质，包括下降性、局部笛卡尔闭包性以及同伦等价态射的分类。
• 证明初等 ∞-拓扑斯的 ∞-范畴在通过 ∞-逻辑函子取极限与过滤列极限下是封闭的。
• 将框架扩展至初等 (n,1)-拓扑斯，并提供显式例子与反例，包括非格罗滕迪克型构造。

提出的方法

• 将初等 ∞-拓扑斯基定义为具有子对象分类器、在拉回下具有普遍闭包性以及完整塞加尔普遍化的有限完备 ∞-范畴。
• 利用可表示的笛卡尔纤维化与 ind-完备化的理论，为初等 ∞-拓扑斯及其 ∞-逻辑函子提供一种替代表征。
• 通过在具有积闭滤子的有限完备 (n,1)-范畴上构造滤子商，生成初等 (n,1)-拓扑斯的新例子。
• 证明所得 ∞-范畴在商函子下保持有限极限与余极限、子对象分类器、局部笛卡尔闭包性以及 (n−2)-截断普遍化。
• 将该框架应用于已知范畴，如有限集、π-有限空间与凯恩对象，以分析其是否构成初等 ∞-拓扑斯。
• 利用完全塞加尔空间与准范畴的理论，对同伦相干结构进行建模，并确保与 ∞-范畴基础的兼容性。

实验结果

研究问题

• RQ1 能否定义一个统一的初等 ∞-拓扑斯概念，使其同时推广初等拓扑斯与格罗滕迪克 ∞-拓扑斯？
• RQ2 初等 ∞-拓扑斯是否满足核心拓扑斯理论性质，如下降性、局部笛卡尔闭包性以及同伦等价态射的分类？
• RQ3 初等 ∞-拓扑斯的 ∞-范畴是否在通过 ∞-逻辑函子取极限与过滤列极限下是封闭的？
• RQ4 有限完备 (n,1)-范畴的滤子商是否能产生非格罗滕迪克型的初等 (n,1)-拓扑斯？
• RQ5 哪些范畴——如 π-有限空间或凯恩对象——不构成初等 ∞-拓扑斯，原因是什么？

主要发现

• 初等 ∞-拓扑斯满足下降性、局部笛卡尔闭包性，并能对同伦等价态射进行分类，推广了卢里与杰珀纳-科克的结果。
• 初等 ∞-拓扑斯的 ∞-范畴在通过 ∞-逻辑函子取极限与过滤列极限下是封闭的，且 ∞-逻辑函子保持这些结构。
• 通过其 ind-完备化，为初等 ∞-拓扑斯提供了替代表征，推广了经典拓扑斯理论中的对偶性。
• 具有积闭滤子的有限完备 (n,1)-范畴的滤子商可生成新的非格罗滕迪克型初等 (n+1,1)-拓扑斯，例如滤子积 ∏Φ𝔖≤n。
• π-有限空间的 ∞-范畴不是初等 ∞-拓扑斯，因其在有限极限与余极限下不封闭。
• 具有可数余积与有限极限的范畴中的凯恩对象未必具有子对象分类器，因此不是初等 ∞-拓扑斯。