From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5159 Path: news.gmane.org!not-for-mail From: Peter Bubenik Newsgroups: gmane.science.mathematics.categories Subject: Re: Re: 'Directed Algebraic Topology' Date: Mon, 21 Sep 2009 14:02:39 -0400 Message-ID: Reply-To: Peter Bubenik NNTP-Posting-Host: lo.gmane.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1253622199 16019 80.91.229.12 (22 Sep 2009 12:23:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 22 Sep 2009 12:23:19 +0000 (UTC) To: Urs Schreiber , categories@mta.ca Original-X-From: categories@mta.ca Tue Sep 22 14:23:12 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1Mq4Ol-0003P2-Fl for gsmc-categories@m.gmane.org; Tue, 22 Sep 2009 14:23:11 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Mq3uj-0002RF-LY for categories-list@mta.ca; Tue, 22 Sep 2009 08:52:09 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5159 Archived-At: Urs, David Spivak and I have been working on connecting directed topological spaces to (oo,1)-categories. We have a couple more things to check. We'll post our preprint here when it becomes available. Peter On Mon, Sep 21, 2009 at 5:44 AM, Urs Schreiber wrote: > Marco Grandis wrote: > >> My book >> >> =A0 =A0'Directed Algebraic Topology' >> =A0 =A0Models of non-reversible worlds >> >> has appeared, at Cambridge University Press. > > In that context I am wondering about the following: > > it would be nice to have a notion of directed topological space that > would extend the relation between (nice) topological spaces and > oo-groupoids to one between (nice) directed topological spaces and > (oo,1)-categories. > > More generally, it would be nice to have a notion of "r-directed > topological space" for r in N that would extend the relation between > (nice) topological spaces and oo-groupoids to one of (nice) > "r-directed spaces" and (oo,r)-cateories. > > (Probably such a notion of directed spaces can't be supporrted by > plain topological spaces with direction information, but requires > filtered directed spaces or the like. ) > > Has anything like this been considered? > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]