Topos 理论 Topos 理论 研究把 范畴论、逻辑 与几何化的 集合范畴 结构统一起来的数学框架. 本分类先从 Grothendieck 拓扑、站点 与站点上的 层 开始, 再连接到 Topos 与 子对象分类子. 基本概念 筛、Grothendieck 拓扑 与 站点; 层 与 Topos; 子对象分类子 与内部逻辑. 相关方向 代数几何 中的 结构层 与 概形; 范畴论 中的 极限、子对象分类子 与 伴随函子.