Homology of spaces of directed paths on Euclidean cubical complexes (Q2255529)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homology of spaces of directed paths on Euclidean cubical complexes |
scientific article |
Statements
Homology of spaces of directed paths on Euclidean cubical complexes (English)
0 references
17 February 2015
0 references
The authors calculate the homology of the spaces of directed paths of a certain class of cubical subcomplexes of the directed Euclidean space \(\mathbb{R}^n\) by a recursive process. The motivation of this kind of calculation is the geometric approach to concurrency by tools coming from algebraic topology. Indeed, in such a calculation, the directed paths (which form a subspace of the space of continuous paths) represent the execution paths and directed homotopy between directed paths represents model concurrency. It is therefore very important, and in general very complicated, to determine the homotopy type of these path spaces. As an application, the homology and the cohomology of the space of directed loops on the \((n-1)\)-skeleton of the directed \(n\)-dimensional torus are calculated.
0 references
directed paths
0 references
cubical complex
0 references
path space
0 references
homology
0 references
cohomology
0 references