局部偏序空间的一个模型范畴
代数拓扑
2016-04-26 v2 范畴论
摘要
局部偏序空间(local po-spaces)已被用于并发系统的建模。我们通过构造一个包含局部偏序空间范畴的模型范畴,为这些空间提供等价关系。我们证明局部偏序空间上的单纯预层范畴可被赋予 Jardine 的模型结构,其中我们辨识出局部偏序空间之间的弱等价。在此过程中,我们给出局部偏序空间上的层范畴与局部偏序空间上的 etale 丛范畴之间的一个等价。最后我们描述一个局部化,它应为研究并发系统提供良好框架。
引用
@article{arxiv.math/0506352,
title = {A model category for local po-spaces},
author = {Peter Bubenik and Krzysztof Worytkiewicz},
journal= {arXiv preprint arXiv:math/0506352},
year = {2016}
}
备注
26 pages, minor changes, to appear in Homology, Homotopy and Applications