A model category for the homotopy theory of concurrency
Algebraic Topology
2021-08-24 v2 Category Theory
Abstract
We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are S-homotopy equivalent. This result provides an interpretation of the notion of S-homotopy equivalence in the framework of model categories.
Keywords
Cite
@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}
}
Comments
45 pages ; 4 figure ; First paper corresponding to the content of math.AT/0201252 ; final version