什么是 Topos？| “现代数学基础”丛书新成员《Topos理论》即将出版上市

主要观点总结

本文介绍了Topos的概念和性质，包括基本例子、位与拓扑斯、态射、点、上同调以及源于代数几何的拓扑斯。还涉及新书预告《Topos理论》的相关内容。

关键观点总结

关键观点1: Topos的基本概念

Topos是一个数学对象，可以为一个数学领域提供一个通用框架。它是一类比集合更加丰富的结构，具有有限射影极限等性质。

关键观点2: 位与拓扑斯的关系

位是拓扑斯的生成元和关系的系统，一个拓扑斯可以由承载范畴恰为位的定义位来定义。覆盖族恰好是满态射族，这个拓扑称为典范拓扑。

关键观点3: 态射和点的重要性

态射在拓扑斯之间建立了联系，点是拓扑斯的一个重要特性。在代数几何中，点常常用于定义茎（stalk）函子。

关键观点4: 上同调的推广

拓扑斯的上同调推广了拓扑空间上的层上同调与群上同调，涉及导出函子等内容。

关键观点5: 源于代数几何的拓扑斯

概型的平展拓扑斯是最重要的拓扑斯的例子，它与代数几何密切相关。其他例子如晶状拓扑斯在微分学与正特征的de Rham上同调的研究中也是至关重要的。

关键观点6: 新书预告《Topos理论》

本书由国际知名数学家黎景辉著，详细介绍了Topos理论的相关内容，包括范畴论的基础、Grothendieck拓扑、预层与层的概念、拓扑的定义及其性质等。本书可供数学及相关专业的师生使用，也可供其他领域科研人员参考。