Directed homotopy theory, I. The fundamental category

Details Directed homotopy theory, I. The fundamental category Directed homotopy theory, I. The fundamental category

2001-11-05

arxiv.org/abs/math/0111048v2

Mathematics

Algebraic Topology

26 pages. Revised version: November 14, 2001. Minor changes

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Directed homotopy theory, I. The fundamental category does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Directed homotopy theory, I. The fundamental category, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Directed homotopy theory, I. The fundamental category will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-591991