arXiv Analytics

Sign in

arXiv:math/0308054 [math.AT]AbstractReferencesReviewsResources

A model category for the homotopy theory of concurrency

Philippe Gaucher

Published 2003-08-06, updated 2003-12-18Version 2

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.

Comments: 45 pages ; 4 figure ; First paper corresponding to the content of math.AT/0201252 ; final version
Journal: Homology Homotopy and Applications, vol. 5 (1):p.549-599, 2003
Categories: math.AT, math.CT
Subjects: 55P99, 68Q85
Related articles: Most relevant | Search more
arXiv:math/0201252 [math.AT] (Published 2002-01-25, updated 2005-05-03)
A Convenient Category for The Homotopy Theory of Concurrency
arXiv:math/0701552 [math.AT] (Published 2007-01-19, updated 2008-05-15)
Towards a homotopy theory of process algebra
arXiv:math/0110247 [math.AT] (Published 2001-10-22, updated 2007-08-20)
A Homotopy Theory for Stacks

Links

Toolbox