定向代数拓扑与高维转移系统
范畴论
2010-11-17 v2 代数拓扑
摘要
Cattani-Sassone 的高维转移系统概念被解释为弱高维转移系统局部有限可表示拓扑范畴中的一个小子正交类。特别地，与标记 n-立方体相关联的高维转移系统是由一个 n-维转移生成的自由高维转移系统。作为该构造的第一个应用，证明了高维转移系统范畴的一个局部化等价于标记对称预立方集范畴的一个局部有限可表示反射全子范畴。第二个应用涉及 Milner 的通信系统演算 (CCS)：将 CCS 中的进程名映射到流的过程通过高维转移系统范畴进行分解。该方法也适用于其他进程代数以及除流之外的并发拓扑模型。
引用
@article{arxiv.0903.4276,
title = {Directed algebraic topology and higher dimensional transition system},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:0903.4276},
year = {2010}
}
备注
42 pages; LaTeX2e