From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1736 Path: news.gmane.org!not-for-mail From: Philippe Gaucher Newsgroups: gmane.science.mathematics.categories Subject: Re: localization : more precise question Date: Sun, 3 Dec 2000 17:44:54 +0100 (MET) Message-ID: <200012031644.RAA12007@irmast2.u-strasbg.fr> Reply-To: Philippe Gaucher NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii X-Trace: ger.gmane.org 1241018055 32667 80.91.229.2 (29 Apr 2009 15:14:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:14:15 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Dec 4 11:56:02 2000 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id eB4FJOh32551 for categories-list; Mon, 4 Dec 2000 11:19:24 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Content-MD5: vouqimf63rZfbrHamQEPeQ== X-Mailer: dtmail 1.3.0 CDE Version 1.3 SunOS 5.7 sun4u sparc Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 9 Original-Lines: 17 Xref: news.gmane.org gmane.science.mathematics.categories:1736 Archived-At: >I meant 'non-negative'. Maybe the definition of the category still needs >to be debugged. I don't know. (The motivation of this question was to encode >the notion of 1-dimensional HDA up to dihomotopy for those who know the >subject in a "true" category such that isomorphism classes represent >1-dimensional HDA up to dihomotopy). "having a 'positive' derivative at >all times" would be also sufficient I think. I would like to add : I meant 'non-negative' locally. Because one needs that the morphism from an arrow a-->b to a loop a-->a exists. The exact definition is : morphism of local po-spaces (see "Algebraic topology and concurrency", by Fajstrup, Goubault & Rau{\ss}en ; preprint R-99-2008, Aalborg University). pg.