偏序空间的相对定向同伦理论
摘要：在并发理论中成功地使用了代数拓扑方法，这是一门处理并行计算的理论计算机科学领域。L. Fajstrup、E. Goubault和M. Raussen引入了偏序空间（pospaces）作为并发系统的模型。本文证明了在固定的偏序空间下，偏序空间的范畴既是一个纤维化范畴（fibration category），又是一个环接纤维化范畴（cofibration category）（按照H. Baues的定义）。这个纤维化和环接纤维化范畴中的同伦概念是相对定向同伦（relative directed homotopy）。同时还证明了偏序空间的范畴是一个闭模型范畴（closed model category），其中的同伦概念是定向同伦（directed homotopy）。
作者：Thomas Kahl
论文ID：math/0605541
分类：Algebraic Topology
分类简称：math.AT
提交时间：2007-05-23