A model category for local po-spaces
Homology, Homotopy Appl. 8 (2006), no. 1, 263-292 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 pres...
Saved in:
Main Authors | , |
---|---|
Format | Journal Article |
Language | English |
Published |
17.06.2005
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Homology, Homotopy Appl. 8 (2006), no. 1, 263-292 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. |
---|---|
DOI: | 10.48550/arxiv.math/0506352 |