From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2238 Path: news.gmane.org!not-for-mail From: Philippe Gaucher Newsgroups: gmane.science.mathematics.categories Subject: preprint : Homotopy branching space and weak dihomotopy Date: Wed, 9 Apr 2003 07:25:59 +0200 (MEST) Message-ID: <200304090526.h395PxC26942@math.u-strasbg.fr> NNTP-Posting-Host: main.gmane.org Content-Type: text X-Trace: ger.gmane.org 1241018518 3194 80.91.229.2 (29 Apr 2009 15:21:58 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:21:58 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Apr 9 11:16:48 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 09 Apr 2003 11:16:48 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 193GK8-0002xh-00 for categories-list@mta.ca; Wed, 09 Apr 2003 11:13:12 -0300 X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc X-Sun-Text-Type: ascii X-Antivirus: scanned by sophos at u-strasbg.fr Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 6 Original-Lines: 26 Xref: news.gmane.org gmane.science.mathematics.categories:2238 Archived-At: Author : Philippe Gaucher Title : Homotopy branching space and weak dihomotopy Abstract : The branching space of a flow is the topological space of germs of its non-constant execution paths beginning in the same way. However, there exist weakly S-homotopy equivalent flows having non weakly homotopy equivalent branching spaces. This topological space is then badly behaved from a computer-scientific viewpoint since weakly S-homotopy equivalent flows must correspond to higher dimensional automata having the same computer-scientific properties. To overcome this problem, the homotopy branching space of a flow is introduced as the left derived functor of the branching space functor from the model category of flows to the model category of topological spaces. As an application, we use this new functor to correct the notion of weak dihomotopy equivalence, which did not identify enough flows in its previous version. Comments : 44 pages, 3 figures Url : http://www-irma.u-strasbg.fr/~gaucher/ or Arxiv : math.AT/0304112