并发性同伦理论的模型范畴
代数拓扑
2021-08-24 v2 范畴论
摘要
我们在 flow 范畴上构造了一个余 fibrantly 生成的模型结构，使得任意 flow 都是 fibrant 的，并且两个余 fibrant flow 对于该模型结构同伦等价当且仅当它们是 S-同伦等价的。这一结果在模型范畴的框架内给出了 S-同伦等价概念的一种解释。
引用
@article{arxiv.math/0308054,
title = {A model category for the homotopy theory of concurrency},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:math/0308054},
year = {2021}
}
备注
45 pages ; 4 figure ; First paper corresponding to the content of math.AT/0201252 ; final version