From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2775 Path: news.gmane.org!not-for-mail From: Marco Grandis Newsgroups: gmane.science.mathematics.categories Subject: Preprint: Absolute lax 2-categories Date: Mon, 1 Aug 2005 16:33:21 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: ger.gmane.org 1241018897 5755 80.91.229.2 (29 Apr 2009 15:28:17 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:28:17 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Aug 3 10:37:54 2005 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 03 Aug 2005 10:37:54 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.44) id 1E0JHz-0000mI-Qx for categories-list@mta.ca; Wed, 03 Aug 2005 10:28:07 -0300 X-Sender: grandis@pop4.dima.unige.it Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 3 Original-Lines: 55 Xref: news.gmane.org gmane.science.mathematics.categories:2775 Archived-At: The preprint described below is available, in pdf. I would like to have information on other works considering *absolute* comparison cells/constraints, in weak or lax structures. Best wishes to all colleagues and friends Marco Grandis _______________ M. Grandis, Absolute lax 2-categories Dip. Mat. Univ. Genova, Preprint 533 (2005), 22 p. http://www.dima.unige.it/~grandis/LCat2.pdf Abstract. We have introduced, in a previous paper, the fundamental lax 2-category of a 'directed space' X. Here we show that, when X has a T1-topology, this structure can be embedded into a larger one, with the same objects (the points of X), the same arrows (the directed paths) and the same cells (based on directed homotopies of paths), but a larger system of comparison cells. The new comparison cells are *absolute*, in the sense that they only depend on the arrows themselves rather than on their syntactic expression, as in the usual settings of lax or weak structures. It follows that, in the original structure, all the diagrams of comparison cells commute, even if not constructed in a natural way and even if the composed cells need not stay within the old system. ____ The previous preprint mentioned above ('Lax 2-categories and directed homotopy') is also available, at: http://www.dima.unige.it/~grandis/LCat.pdf ____ Dipartimento di Matematica Universita` di Genova via Dodecaneso 35 16146 GENOVA, Italy e-mail: grandis@dima.unige.it tel: +39.010.353 6805 fax: +39.010.353 6752 http://www.dima.unige.it/~grandis/