[论文解读] A convenient category for directed homotopy

Lisbeth Fajstrup, Jir̆ı́ Rosický|arXiv (Cornell University)|Aug 29, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 43

一句话总结

本文提出了一种类别——d-SpaceB，即由适当排序的立方体生成的d-空间的全子范畴——用于方向同伦理论，证明其为局部小化类别，从而确保强范畴性质（如因子分解系统的存在性）。关键贡献在于证明：在任意纤维小的拓扑范畴中，I-生成对象的范畴是局部小化的，这推广了J. H. Smith对∆-生成空间的建议，并为方向同伦理论提供了稳健的同伦工具，包括通用双覆盖。

ABSTRACT

We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.

研究动机与目标

• 为方向同伦理论构建一个方便的范畴，支持强范畴工具（如因子分解系统和通用覆盖）。
• 通过有序立方体，将J. H. Smith对∆-生成拓扑空间的建议推广至方向设定。
• 证明在任意纤维小的拓扑范畴中，I-生成对象的范畴是局部小化的，从而为方向同伦理论建立基础框架。
• 证明d-SpaceB同时支持d-同伦与dihomotopy，使其适用于建模高维自动机与并发性。
• 利用范畴的局部小化性质，建立d-SpaceB中通用双覆盖的存在性与唯一性。

提出的方法

• 将d-SpaceB定义为由适当排序的立方体生成的d-空间的全子范畴，形成方向拓扑的方便框架。
• 证明：对任意纤维小的拓扑范畴K及任意小的全子范畴I，I-生成对象的范畴KI是局部小化的。
• 使用如下特征刻画：一个范畴是局部小化的，当且仅当其具有上确界且包含一个由可表示对象构成的小的、在全范畴中稠密的子范畴。
• 应用定理2.2，证明在局部小化范畴中，(colim(C), C⊥)构成一个因子分解系统，从而可构造通用双覆盖。
• 通过特定态射C = {0 → ⃗I, ∗ → J}的唯一提升性质来定义双覆盖，其中J是I × ⃗I的余上确界。
• 将通用双覆盖构造为从初始对象到X的唯一态射的(colim(C), C⊥)因子分解，利用局部小化性质。

实验结果

研究问题

• RQ1 能否构造一个局部小化的方向同伦理论的方便范畴，以确保强范畴性质？
• RQ2 在任意纤维小的拓扑范畴中，对任意小的全子范畴I，I-生成对象的范畴是否为局部小化？
• RQ3 所提出的范畴d-SpaceB是否同时支持d-同伦与dihomotopy，且方向路径是否被正确建模？
• RQ4 能否在d-SpaceB中构造通用双覆盖，且其是否唯一？
• RQ5 本文中的构造是否与文献[8]中关于局部偏序空间中通用双覆盖的构造一致？

主要发现

• 由适当排序的立方体生成的范畴d-SpaceB是局部小化的，从而确保了强范畴行为。
• 在任意纤维小的拓扑范畴K中，I-生成对象的范畴是局部小化的，推广了Smith对∆-生成空间的结果。
• 在任意局部小化范畴中，(colim(C), C⊥)构成一个因子分解系统，这对于构造通用双覆盖至关重要。
• 在d-SpaceB中，通用双覆盖存在且唯一，其构造基于从初始对象到X的唯一态射的(colim(C), C⊥)因子分解。
• 双覆盖被刻画为C⊥中的态射，其中C由包含映射{0 → ⃗I, ∗ → J}构成，确保了d-路径与同伦的唯一提升。
• 该框架同时支持d-同伦与dihomotopy，d-路径对应于局部偏序中的递增路径，与高维自动机模型一致。