公理化定义的无穷范畴.pdfVIP

2.4.公理化定义的无穷范畴

本节是课外阅读章节,除却前文使用模型来定义(∞,1)-范畴外,我们还有一种直接地通过公理化的方式来定义的

(∞,1)-范畴.虽然与我们的主题无关,但是我认为适当了解一些公理化定义是有益无害的.合适的参考文献是

[Cisinski–Cnossen–Walde,2025](不过本节的参考文献主要是[Cnossen,2025,Chapter1]).公理化的指导思

想是以下基本原则:

同伦论的基本原则:当描述两个实体是相等的时候,我们必须始终通过提供它们之间的同构来具体说明其相等方

式.所有有效的数学结构都应该保持这些同构.

在对于高阶范畴论的公理化中,往往需要复杂的公理来全面地描绘出高阶范畴的结构.所以它不会像集合论的公

理一般简洁明了.反而更像是发展了一套工具.

对于这些公理的介绍主要分为三个部分:

•(∞,1)-范畴论

•(∞,1)-范畴上的操作

•拉回/推出纤维化

在本节中,我们仅介绍第一部分,至于后面两个部分将留到介绍完其对应操作后介绍.

注2.4.0.1.我个人认为公理化是一种很不错的直觉塑造方式,这可以让你的直觉上的东西更接近于(∞,1)-范

畴.

2.4.1