进程代数时间流的球状实现与立方体底层同伦型
代数拓扑
2008-02-11 v1 范畴论
摘要
我们为每个前立方体集（例如用于建模进程代数）构造了一个作为流的小实现。此处“小”是指该构造不使用任何 cofibrant replacement 函子，也不使用任何超限构造。特别地，若前立方体集是有限的，则对应的流具有有限的球状分解。本文给出两个应用：第一个应用提出了一个从前立方体集到球状复形的实现函子，该函子在自然 S-同伦意义下被刻画；第二个应用证明了对于此类流，其底层同伦型自然地同构于与该前立方体集相关联的标准立方体复形的同伦型。
引用
@article{arxiv.0708.3584,
title = {Globular realization and cubical underlying homotopy type of time flow of process algebra},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:0708.3584},
year = {2008}
}
备注
31 pages, 1 figure, LaTeX2e