[论文解读] An informal introduction to topos theory

Tom Leinster|arXiv (Cornell University)|Dec 27, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 8

一句话总结

本文以非正式方式介绍了拓扑斯理论，将初等拓扑斯基于集合、空间和代数理论的推广，强调其作为几何与代数理论的分类拓扑斯的作用。它表明，每个拓扑斯都可通过几何态射对某一理论（如群或环）进行分类，其关键结果是：群的分类拓扑斯是有限表示群范畴上的预层拓扑斯。

ABSTRACT

This short expository text is for readers who are confident in basic category theory but know little or nothing about toposes. It is based on some impromptu talks given to a small group of category theorists.

研究动机与目标

• 为具备基本范畴论知识但缺乏拓扑斯背景的读者提供一个可及的、非正式的拓扑斯理论入门。
• 通过范畴对偶性说明拓扑斯如何推广集合、空间和代数理论。
• 阐明分类拓扑斯在统一集合论、几何与普遍代数中的作用。
• 阐明几何态射与拓扑斯中代数理论模型之间的关系。
• 通过预层拓扑斯作为关键构造，证明每个拓扑斯均可视为某个几何理论的分类拓扑斯。

提出的方法

• 以集合范畴作为动机，通过集合的特征函数引入子对象分类器。
• 将初等拓扑斯基定义为具有有限极限、子对象分类器和笛卡尔闭结构的范畴。
• 应用Yoneda引理与拉回概念，形式化子对象分类器的普遍性质。
• 将几何态射定义为伴随函子对，其中右伴随函子保持有限极限。
• 建立拓扑斯通过从Set到该拓扑斯的几何态射对理论进行分类，该几何态射对应于该理论的模型。
• 应用Diaconescu定理，证明具有有限极限的范畴上的预层拓扑斯可分类保持有限极限的函子。

实验结果

研究问题

• RQ1 拓扑斯理论如何作为集合论的替代基础，相较于ZFC更贴近实际数学实践？
• RQ2 在何种意义上可将拓扑斯基视为广义空间，这与层与格罗滕迪克拓扑斯有何关联？
• RQ3 拓扑斯如何对如群或域的代数理论进行分类？
• RQ4 进入拓扑斯的几何态射与该拓扑斯中理论模型之间的精确对应关系是什么？
• RQ5 每个拓扑斯是否都可理解为某个几何理论的分类拓扑斯，这一理解如何通过预层拓扑斯实现？

主要发现

• 集合范畴是拓扑斯，其子对象分类器为二元集合，该结构支撑了子集与特征函数之间的对应关系。
• 每个初等拓扑斯都是集合的广义范畴，每个格罗滕迪克拓扑斯都是层的范畴，本文聚焦于前者。
• 拓扑斯可被视为广义空间，进入该拓扑斯的几何态射对应于点或理论的模型。
• 群理论的分类拓扑斯是有限表示群范畴上的预层拓扑斯，记作 $\mathbf{Set}^{\mathbf{Grp}_{\mathrm{fp}}}$。
• 对于任意具有有限极限的小范畴 $\mathbb{C}$，预层拓扑斯 $\widehat{\mathbb{C}}$ 可通过Diaconescu定理分类从 $\mathbb{C}$ 出发的保持有限极限的函子。
• 每个拓扑斯都可作为某个几何理论的分类拓扑斯，从而在理论与其分类拓扑斯之间建立起对偶性。