[论文解读] The Equivalence Extension Property and Model Structures

Christian Sattler|arXiv (Cornell University)|Apr 23, 2017

Logic, programming, and type systems参考文献 13被引用 15

一句话总结

本文提出了一种在单纯集范畴上构造 Kan 模型结构的初等、构造性方法，完全不依赖于拓扑空间、极小复形或 Kan 的 $\operatorname{Ex}^\infty$ 函子。它引入了等价扩张性质——源自立方集中的粘合构造——作为核心技术工具，用于建立纤维性与模型结构公理，最终在范畴论框架下仅使用范畴论与组合方法，给出 Kan 模型结构的一个新证明。

ABSTRACT

We give an elementary construction of a certain class of model structures. In particular, we rederive the Kan model structure on simplicial sets without the use of topological spaces, minimal complexes, or any concrete model of fibrant replacement such as Kan's Ex^infinity functor. Our argument makes crucial use of the glueing construction developed by Cohen et al. in the specific setting of certain cubical sets.

研究动机与目标

• 提供单纯集上 Kan 模型结构的构造性、初等推导，不使用拓扑空间或如 $\operatorname{Ex}^\infty$ 这类具体的纤维化替换函子。
• 发展并应用等价扩张性质——作为立方类型理论中粘合构造的范畴化推广——作为构造模型结构的关键技术工具。
• 建立从弱因子分解系统与函子性圆柱结构构造 Quillen 模型结构的充分条件，尤其在优美的 Reedy 范畴背景下。
• 证明纤维性与弱等价的 2 出 3 性质可仅通过扩张性质与局部纤维性条件推导得出，避免依赖选择公理或非构造性假设。

提出的方法

• 将等价扩张性质引入为范畴论中的提升条件，允许在其中一个纤维化可扩张时，沿一个上包覆映射扩展两个纤维化之间的等价关系。
• 在范畴 $\cal{E}$ 上使用由张量结构与带有端点和连接的区间对象导出的函子性圆柱结构。
• 定义两个弱因子分解系统：$\mathbf{C} = \cal{M}$（由上包覆生成的单射），以及 $\mathbf{F}$（定义为对 $\{<\delta_0,\delta_1\}> \widehat{\otimes} \cal{M}$ 的提升），并引入 $\mathbf{TC}$ 与 $\mathbf{TF}$ 作为中间类。
• 应用一个准则（定理 2.6），当扩张性质成立且纤维化为局部时（条件 A.2），可保证模型结构的存在性。
• 通过对抗生成的平凡上包覆映射（其余域为表示对象）的提升，引入局部纤维化的概念，确保纤维化替换条件得以满足。
• 利用 $\Delta$ 的优美 Reedy 范畴结构，确保单射是边界包含的上包覆变化的 $\omega$-复合，这是验证扩张性质的关键步骤。

实验结果

研究问题

• RQ1 能否在不依赖拓扑空间或显式纤维化替换函子（如 $\operatorname{Ex}^\infty$）的前提下重构单纯集上的 Kan 模型结构？
• RQ2 立方类型理论中的粘合构造如何抽象为一个范畴论原则，以用于构造模型结构？
• RQ3 在生成平凡上包覆映射的余域非极小对象时，何种条件可确保纤维化弱因子分解系统为局部？
• RQ4 等价扩张性质能否作为在优美 Reedy 范畴上的预层范畴中构造模型结构的统一原则？

主要发现

• 单纯集上的 Kan 模型结构仅通过等价扩张性质与函子性圆柱结构被重构，完全不涉及拓扑空间或 $\operatorname{Ex}^\infty$。
• 等价扩张性质被确立为纤维化沿平凡上包覆映射可提升的充分条件，从而使得仅从弱因子分解系统构造模型结构成为可能。
• 定义为 $\{<\delta_0,\delta_1\}> \widehat{\otimes} \cal{M}$ 的纤维化与通常的 Kan 纤维化一致，其局部性（A.2）通过对抗具有表示余域的锥包含的提升得到验证。
• 该构造是构造性的，仅在单纯集单射的分解中使用了排中律（以确定退化性），其余部分不依赖选择公理。
• 推论 8.5 表明，单纯集在仅使用等价扩张性质与 $\Delta$ 的优美 Reedy 结构下，存在一个适当的 Cisinski 模型结构，且其纤维化等于通常的 Kan 纤维化。