Flow does not Model Flows up to Weak Dihomotopy
Philippe Gaucher1 
| (1) |
Preuves Programmes et Systèmes, Universit˝ Paris 7-Denis Diderot, Case 7014, 2 Place Jussieu, 75251 Paris Cedex 05, France |
Received: 25 May 2005 Published online: 2 November 2005
Abstract We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types
are the flows up to weak dihomotopy. Some hints are given to overcome this problem. In particular, a new approach of dihomotopy
involving simplicial presheaves over an appropriate small category is proposed. This small category is obtained by taking
a full subcategory of a locally presentable version of the category of flows.
Keywords concurrency - homotopy - weak factorizarion system - cofibrantly generated modelcategory - locally presentable model category - combinatorial model category - directed homotopy
Mathematics Subject Classifications (2000) 55P99, 68Q85, 18A32, 55U35.
References secured to subscribers.