22 Sep
2009
22 Sep
'09
1:05 p.m.
On Tue, Sep 22, 2009 at 5:00 AM, Urs Schreiber <urs.schreiber@googlemail.com> wrote:
Meanwhile probably Peter Bubenik's message to the mailing list will have appeared, where he says that with David Spivak he is in the process of investigating the connection between directed topological spaces and (oo,1)-categories. I am wondering what model of directed spaces they are using and to which extent they find an equivalence.
We use a variant of Marco Grandis' d-spaces (topological spaces with a distinguished set of paths). Peter [For admin and other information see: http://www.mta.ca/~cat-dist/ ]