高维转移系统的cofibration选择
范畴论
2015-11-10 v3 代数拓扑
摘要
证明了在单态射类下，弱转移系统存在一个左决定性模型结构，并且该结构限制于立方转移系统和正则转移系统上的左决定性模型结构。然后证明了，在这三种模型结构中，对于任何包含至少一个转移的高维转移系统，其纤维替换包含每对状态之间的一个转移。这意味着纤维替换函子不保持因果结构。作为结论，我们解释了为什么使用星形转移系统是解决该问题的一种方案。
引用
@article{arxiv.1507.07345,
title = {The choice of cofibrations of higher dimensional transition systems},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:1507.07345},
year = {2015}
}
备注
30 pages; v2 : reachable transition system replaced by star-shaped transition system, the difficulty of some proofs was underestimated, consequently all sketches of proofs are replaced by full proofs; v3 new title + minor revisions (final version)