[论文解读] The geometry of cubical and regular transition systems

Philippe Gaucher|arXiv (Cornell University)|May 20, 2014

Mathematics and Applications参考文献 1被引用 5

一句话总结

本文引入了正则转移系统作为立方体转移系统的精炼子类，确保每个立方体具有正确数量的面。它为立方体与正则转移系统中的纤维对象提供了完整的组合表征，并建立了一个关于将伴随关系限制到全反射子范畴的一般性引理，从而实现了从立方体系统到正则系统的模型结构转移。

ABSTRACT

There exist cubical transition systems containing cubes having an arbitrarily large number of faces. A regular transition system is a cubical transition system such that each cube has the good number of faces. The categorical and homotopical results of regular transition systems are very similar to the ones of cubical ones. A complete combinatorial description of fibrant cubical and regular transition systems is given. One of the two appendices contains a general lemma of independant interest about the restriction of an adjunction to a full reflective subcategory.

研究动机与目标

• 定义并研究正则转移系统作为立方体转移系统的良好行为子类，其中每个立方体具有正确数量的面。
• 为立方体与正则转移系统中的模型范畴内的纤维对象提供完整的组合描述。
• 建立一个一般性范畴论工具——将伴随关系限制到全反射子范畴——以实现模型结构的转移。
• 表明正则转移系统的同伦与范畴性质与立方体系统紧密对应。
• 支持将正则转移系统作为建模具有明确定义高维结构的并发过程的基础。

提出的方法

• 将正则转移系统定义为每个n维立方体恰好具有2n个面的立方体转移系统，以确保与几何直觉的一致性。
• 通过复合（或一致性）公理强制所有低维转移均由高维转移生成。
• 应用弱因子分解系统与左确定模型范畴的理论，在正则转移系统上构造模型结构。
• 通过立方化函子的博斯戴尔局部化，将正则系统上的模型结构与立方体系统上的模型结构关联起来。
• 在附录B中开发一个关于将伴随关系限制到全反射子范畴的一般性引理，该引理用于转移柱函子与路径函子。
• 依赖于弱转移系统范畴的局部有限生成性与拓扑性质，以确保余极限与反射子范畴的存在。

实验结果

研究问题

• RQ1 如何对立方体转移系统进行精炼，以确保每个n维立方体恰好具有2n个面，其范畴论后果是什么？
• RQ2 立方体与正则转移系统模型范畴中纤维对象的完整组合表征是什么？
• RQ3 如何将范畴之间的伴随关系限制到全反射子范畴，且在何种条件下可保证伴随关系的保持？
• RQ4 正则转移系统的同伦性质在多大程度上与立方体系统的同伦性质相匹配？
• RQ5 能否通过局部化与反射，将立方体转移系统的模型结构转移到正则转移系统？

主要发现

• 正则转移系统被定义为每个n维立方体恰好具有2n个面，从而消除了面过多或过少的病态立方体。
• 提供了正则与立方体转移系统中纤维对象的完整组合描述，通过其在特定复合与面映射下的封闭性来表征。
• 表明正则转移系统模型范畴是左确定的，即它是满足单射为纤维膨胀且可去纤维化由提升性质定义的最小模型结构。
• 立方化函子诱导了正则转移系统模型范畴的博斯戴尔局部化，将其与更大的立方体系统范畴联系起来。
• 附录B中的通用引理表明，伴随关系可限制到全反射子范畴，当且仅当反射函子与左伴随函子之间存在自然同构。
• 通过伴随关系限制引理，证明了从立方体到正则转移系统的柱函子与路径函子的限制是良好定义且保持结构的。