偏序空间的相对有向同伦理论
摘要：代数拓扑方法在并发理论中得到了成功应用。并发理论是理论计算机科学领域中处理分布式计算的领域。L. Fajstrup、E. Goubault和M. Raussen引入了部分有序空间（pospaces）作为并发系统的模型。本文证明，在给定pospace下的pospaces范畴既是一个纤维化范畴，又是一个共纤维化范畴，符合H. Baues的定义。在这个纤维化范畴和共纤维化范畴中的同伦概念是有关的定向同伦。同时还证明了pospaces范畴是一个封闭的模型范畴，其中同伦概念是定向同伦。
作者：Thomas Kahl
论文ID：math/0601079
分类：Algebraic Topology
分类简称：math.AT
提交时间：2007-05-23