From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3862 Path: news.gmane.org!not-for-mail From: Gaucher Philippe Newsgroups: gmane.science.mathematics.categories Subject: preprint : "Globular realization and cubical underlying homotopy type of time flow of process algebra" Date: Thu, 23 Aug 2007 18:43:27 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019567 10616 80.91.229.2 (29 Apr 2009 15:39:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:39:27 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Aug 24 00:03:17 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 24 Aug 2007 00:03:17 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1IOPJ3-0004PL-Hm for categories-list@mta.ca; Thu, 23 Aug 2007 23:53:53 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 13 Original-Lines: 28 Xref: news.gmane.org gmane.science.mathematics.categories:3862 Archived-At: Dear all, Here is a new preprint. Best regards. pg. Title: Globular realization and cubical underlying homotopy type of time flow of process algebra Abstract: We construct a small realization as flow of every precubical set (modeling for example a process algebra). The realization is small in the sense that the construction does not make use of any cofibrant replacement functor and of any transfinite construction. In particular, if the precubical set is finite, then the corresponding flow has a finite globular decomposition. Two applications are given. The first one presents a realization functor from precubical sets to globular complexes which is characterized up to a natural S-homotopy. The second one proves that, for such flows, the underlying homotopy type is naturally isomorphic to the homotopy type of the standard cubical complex associated with the precubical set. Comments: 31 pages URL: http://www.pps.jussieu.fr/~gaucher/prepubli.html