菲利普·高彻 计算机科学中高维范畴和并发的同伦不变量。 (英语) Zbl 0956.68097号 数学。结构。计算。科学。 10,第4期,481-524(2000). 摘要:严格的球状(ω)范畴形式化了并行自动机的执行路径以及它们之间的同伦。人们将这种(和任何)(ω)-范畴({mathcal C})联系到三个同源理论。第一种称为球状同源。它包含\({\mathcal C}\)的定向循环。另外两个被称为负(分别是正)角同调。它们以某种方式包含\({\mathcal C}\)的执行路径或负角的分支区域(分别是执行路径或正角的合并区域)。从球状同源到负角同源,构造了两个称为负(分别为正)Hurewicz态射的自然线性映射。我们解释了为什么这些结构允许重新解释来自计算机科学的一些几何问题。 引用于三评论引用于12文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 18D05日 双类别,(2)-类别,双类别和泛化(MSC2010) 关键词:并行自动机;球状同源 PDF格式BibTeX公司 XML格式引用 \textit{P.Gaucher},数学。结构。计算。科学。10,第4号,481--524(2000;Zbl 0956.68097) 全文: 内政部 arXiv公司