A model category for the homotopy theory of concurrency
Philippe Gaucher
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.
Create a lesson
Related papers
Koszul duality and homotopy algebras for operads over quivers
Hang Yuan
Magnitude, path and coarse homology
Yasuhiko Asao
The p-local topologoical period-index problem in dimensions 2p+2 and below
Diarmuid Crowley, Xing Gu
Toward Quillen stratification for the odd primary Steenrod algebra
John H. Palmieri
Indecomposable Uniform Families on the Adams 4-Line
Jordan Benson, Runji Li
Sn-equivariant L-classes of Cartesian powers of Witt spaces and the Hodge index conjecture for symmetric products
Mohammadali Aligholi