[论文解读] A Convenient Category for The Homotopy Theory of Concurrency

Philippe Gaucher|ArXiv.org|Jan 25, 2002

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

一句话总结

本文提出了一种类，用于形式化并发系统中方向性同伦类型的代数拓扑方法，以建模并发的同伦理论。它在预立方集范畴上建立了 Quillen 模型结构，使得具有因果依赖性的过程能够进行同伦分析，并为高维自动机理论奠定了基础。

ABSTRACT

Withdrawn paper because the results are published in math.AT/0308054 and math.AT/0308063.

研究动机与目标

• 为并发过程的同伦理论开发一个范畴论框架。
• 解决经典同伦理论在建模时间定向过程时的局限性。
• 在预立方集的范畴上提供一个支持方向同伦理论的 Quillen 模型结构。
• 使用代数拓扑形式化高维自动机。
• 通过捕捉因果依赖关系，实现并发中的同伦推理。

提出的方法

• 使用预立方集作为方向空间的组合模型。
• 在预立方集范畴上构造一个 Quillen 模型结构。
• 定义与因果依赖关系相容的弱等价、纤维化和协纤维化。
• 将代数拓扑技术应用于方向空间。
• 为并发系统中的同伦不变量建立一个框架。
• 利用数学领域预印本 math.AT/0308054 和 math.AT/0308063 的现有成果以确保基础有效性。

实验结果

研究问题

• RQ1 如何构建一个类别，使其成为并发同伦理论的方便框架？
• RQ2 预立方集上的何种模型结构支持方向同伦理论？
• RQ3 并发系统中的因果依赖关系如何对应于拓扑模型中的方向路径？
• RQ4 在此方向同伦设定中，弱等价和纤维化是什么？
• RQ5 该框架能否支持高维自动机和同伦不变量？

主要发现

• 在预立方集范畴上定义了一个 Quillen 模型结构，使得能够对并发系统进行同伦分析。
• 该模型结构通过代数拓扑捕捉了方向路径和因果依赖关系。
• 该框架为并发的同伦理论提供了一个方便的类别，满足所需的范畴性质。
• 结果与 math.AT/0308054 和 math.AT/0308063 中的早期工作一致，并将其包含在内。
• 该方法支持为高维自动机开发同伦不变量。
• 已证明该类别适用于形式化并发中方向同伦类型的表达。