From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6315 Path: news.gmane.org!not-for-mail From: Marco Grandis Newsgroups: gmane.science.mathematics.categories Subject: a preprint: A symmetric cubical category associated to a directed space Date: Tue, 12 Oct 2010 17:07:31 +0200 Message-ID: Reply-To: Marco Grandis NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v753.1) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1286925564 22007 80.91.229.12 (12 Oct 2010 23:19:24 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 12 Oct 2010 23:19:24 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Wed Oct 13 01:19:22 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1P5o7t-0004Et-Bu for gsmc-categories@m.gmane.org; Wed, 13 Oct 2010 01:19:21 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:59448) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1P5o7C-0000oR-73; Tue, 12 Oct 2010 20:18:38 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1P5o72-0001fF-15 for categories-list@mlist.mta.ca; Tue, 12 Oct 2010 20:18:28 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6315 Archived-At: The following preprint is available in pdf: M. Grandis, A symmetric cubical category associated to a directed space. Dip. Mat. Univ. Genova, Preprint 590 (2010). Available at: http://www.dima.unige.it/~grandis/Fnd.pdf Abstract. The recent domain of directed algebraic topology studies 'directed spaces', where paths and homotopies cannot generally be reversed. The general aim is modelling non reversible phenomena, but the present applications are mostly concerned with the theories of concurrent processes and rewrite systems. At the place of the classical fundamental groupoid of a topological space, a directed space has a fundamental category, whose applications to concurrency have already been studied in many papers. Here, we want to study an infinite dimensional version of the fundamental category of a directed space, of a cubical type and more precisely a symmetric cubical one, because transposition symmetries occur naturally and simplify the coherence properties. We introduce a 'Moore' strict symmetric cubical category of a directed space X, with concatenation laws in the various directions and transpositions (which permute variables). On the other hand, standard cubes give a lax cubical structure, where concatenations are associative up to invertible reparametrisation but degeneracies are only lax-unital. With best regards Marco Grandis PS. I have been informed by R. Brown of a recent preprint of his on Moore n-paths for a topological space and their cubical structure, see: arXiv: 0909.2212v2 Sorry of missing that. I will add something about it, in my work. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]