二维预立方集的一些坍缩操作
代数拓扑
2012-05-08 v2
摘要
本文考虑二维预立方集，它可以用于建模两个并发执行进程的系统。从并发理论的角度来看，如果两个预立方集的几何实现相对于P. Bubenik意义上的极值元素具有相同的定向同伦型，则可以认为它们是等价的。我们给出了易于验证的条件，在这些条件下，可以通过坍缩一条边或消除一个正方形以及一个或两个自由面，将二维预立方集简化为一个更小的等价集。我们还研究了一些简单的标准示例，以说明我们的结果如何用于构建二维预立方集的小模型。
引用
@article{arxiv.1005.5443,
title = {Some collapsing operations for 2-dimensional precubical sets},
author = {Thomas Kahl},
journal= {arXiv preprint arXiv:1005.5443},
year = {2012}
}
备注
New title, completely revised version of "Reducing cubical set models of concurrent systems"