Directed homotopy theory, I. The fundamental category

Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations. This allows for 'directed homotopies', generally non reversible, represented by a cylinder and cocylinder functors. The existence of 'pastings' (colimits) yields a geometric realisation of cubical sets as d-spaces, together with homotopy constructs which will be developed in a sequel. Here, the 'fundamental category' of a d-space is introduced and a 'Seifert - van Kampen' theorem proved; its homotopy invariance rests on 'directed homotopy' of categories. In the process, new shapes appear, for d-spaces but also for small categories, their elementary algebraic model. Applications of such tools are briefly considered or suggested, for objects which model a directed image, or a portion of space-time, or a concurrent process.

[1]  Philippe Gaucher,et al.  Homotopy invariants of higher dimensional categories and concurrency in computer science , 1999, Mathematical Structures in Computer Science.

[2]  P. J. Higgins,et al.  On the algebra of cubes , 1981 .

[3]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[4]  É. Goubault,et al.  Topological deformation of higher dimensional automata , 2001, math/0107060.

[5]  Jon P. May.  Simplicial objects in algebraic topology , 1993 .

[6]  D. M. Kan,et al.  ABSTRACT HOMOTOPY. III. , 1956 .

[7]  Vaughan R. Pratt,et al.  Higher dimensional automata revisited , 2000, Mathematical Structures in Computer Science.

[8]  Albert Schwarz,et al.  Elements of Homotopy Theory , 1993 .

[9]  M. J. Saegrove.  On bitopological spaces , 1971 .

[10]  DIRECTED HOMOTOPY THEORY, II. HOMOTOPY CONSTRUCTS , 2002 .

[11]  Marco Grandis,et al.  Categorically Algebraic Foundations for Homotopical Algebra , 1997, Appl. Categorical Struct..

[12]  Paul G. Goerss,et al.  Simplicial Homotopy Theory , 2009, Modern Birkhäuser Classics.

[13]  Higher fundamental functors for simplicial sets , 2000, math/0009004.

[14]  Timothy Porter,et al.  Abstract homotopy and simple homotopy theory , 1995 .

[15]  Eric Goubault,et al.  Geometry and concurrency: a user's guide , 2000, Mathematical Structures in Computer Science.

[16]  Marco Grandis,et al.  Homotopical algebra in homotopical categories , 1994, Appl. Categorical Struct..

[17]  E. Michael.  Local compactness and cartesian products of quotient maps and $K$-spaces , 1968 .

[18]  M. Grandis.  Ordinary and directed combinatorial homotopy, applied to image analysic and concurrency , 2003 .

[19]  M. Grandis.  Cubical homotopical algebra and cochain algebras , 1996 .