Directed homotopy theory, I. The fundamental category

By Marco De Grandis. 2001

94 citations recorded by the source corpus.

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.

View Paper: https://www.semanticscholar.org/paper/53d8c05765b24864dc88f2ad9b7511d7bc46c636

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. J. Woolf
2. S. Koenig

Citations in the corpus

• The fundamental category of a stratified space (2008, background): “Finally, Grandis [ Gra03 ] considers a more general notion of directed spaces | spaces equipped with a suitable class of ‘directed’ paths.”