arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/0506352math.ATmath.CT
收藏

局部序空间的一个模型范畴

A model category for local po-spaces

Peter Bubenik, Krzysztof Worytkiewicz

摘要:

局部偏序空间(local po-spaces)已经被用来模拟并发系统。我们通过构造一个包含局部po-spaces范畴的模型范畴来提供这些空间的等价性。我们证明了局部序空间上的单纯预层范畴可以给出Jardine模型的结构,并在其中确定了局部序空间之间的弱等价。在此过程中,我们给出了局部偏序空间上的层范畴与局部偏序空间上的etale丛范畴之间的等价性。最后,我们描述了一个本地化,应该提供一个很好的框架,研究并发系统。

英文摘要:

Locally partial-ordered spaces (local po-spaces) have been used to model concurrent systems. We provide equivalences for these spaces by constructing a model category containing the category of local po-spaces. We show the category of simplicial presheaves on local po-spaces can be given Jardine's model structure, in which we identify the weak equivalences between local po-spaces. In the process we give an equivalence between the category of sheaves on a local po-space and the category of etale bundles over a local po-space. Finally we describe a localization that should provide a good framework for studying concurrent systems.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑