Homology, Homotopy and Applications

A model category for the homotopy theory of concurrency

Philippe Gaucher

Full-text: Open access

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.

Article information

Source
Homology Homotopy Appl., Volume 5, Number 1 (2003), 549-599.

Dates
First available in Project Euclid: 13 February 2006

Permanent link to this document
https://projecteuclid.org/euclid.hha/1139839943

Mathematical Reviews number (MathSciNet)
MR2072345

Zentralblatt MATH identifier
1069.55008

Subjects
Primary: 55U35: Abstract and axiomatic homotopy theory
Secondary: 55P99: None of the above, but in this section 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Citation

Gaucher, Philippe. A model category for the homotopy theory of concurrency. Homology Homotopy Appl. 5 (2003), no. 1, 549--599. https://projecteuclid.org/euclid.hha/1139839943


Export citation