[论文解读] Quasicategories of Frames of Cofibration Categories

Chris Kapulkin, Karol Szumiło|arXiv (Cornell University)|Jun 29, 2015

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

一句话总结

本文证明了在纤维化范畴中，框架的准范畴与其实现的单纯化局部化等价，具体而言，框架的准范畴与分类图构造等价。关键结果是框架构造与图范畴的相容性，从而与标准单纯化局部化函子（如吊索局部化和导出同伦一致的神经网络）等价。

ABSTRACT

We show that the quasicategory of frames of a cofibration category, introduced by the second-named author, is equivalent to its simplicial localization.

研究动机与目标

• 建立纤维化范畴中框架的准范畴与其实现的单纯化局部化之间的等价性。
• 通过利用纤维化范畴的更丰富结构，解决单纯化局部化中隐含的纤维化替换问题。
• 证明Szumiło引入的框架准范畴与分类图构造等价。
• 为在高阶范畴中建模同伦类型论提供基础工具，特别是表明同伦类型论的范畴模型的单纯化局部化是局部笛卡尔闭的准范畴。

提出的方法

• 将框架的准范畴增强为一个完全塞加尔空间。
• 证明框架构造与图范畴构造的相容性，这对于提升局部化至关重要。
• 使用Reedy模型结构技术将图分解为弱等价和Reedy纤维化，以确保好纤维性与好共纤维性条件。
• 应用吊索局部化和导出同伦一致的神经网络，将分类图与框架的准范畴联系起来。
• 借助Toën关于完全塞加尔空间的结果，推导出不同$(∞,1)$-范畴模型之间的等价性。
• 使用$E[1]$-同伦类与范畴等价性，验证结果构造的准范畴结构与同伦等价性。

实验结果

研究问题

• RQ1 纤维化范畴中框架的准范畴是否与其实现的单纯化局部化等价？
• RQ2 框架构造能否兼容地扩展到图范畴，以保持同伦结构？
• RQ3 纤维化范畴的分类图是否产生一个与框架准范畴等价的准范畴？
• RQ4 框架准范畴如何与完全塞加尔空间等其他$(∞,1)$-范畴模型相关联？
• RQ5 同伦类型论的范畴模型的单纯化局部化能否被实现为框架准范畴？

主要发现

• 纤维化范畴中框架的准范畴与其实现的单纯化局部化等价，具体而言即与分类图等价。
• 框架准范畴的构造与图范畴兼容，从而可自然地扩展至图范畴。
• 增强后的框架准范畴形成一个与分类图等价的完全塞加尔空间，建立了框架理论与标准局部化方法之间的桥梁。
• 即使在比较纤维化范畴结构与模型范畴中的纤维化结构时，该等价性依然成立，表明它们的单纯化局部化是等价的。
• 结果表明，任何同伦类型论的范畴模型的单纯化局部化都是局部笛卡尔闭的准范畴，因为其可作为框架准范畴产生。
• 该证明依赖于Reedy分解与$E[1]$-同伦类，以确立范畴等价性与准范畴结构。