Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Flow does not Model Flows up to Weak Dihomotopy

Philippe GaucherContact Information

(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.

Contact Information Philippe Gaucher
Email: gaucher@pps.jussieu.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this article
Export this article as RIS | Text
 
Remote Address: 38.107.191.111 • Server: mpweb20
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)