A cubical model for path spaces in d-simplicial complexes (Q411814): Difference between revisions

The notion of \(d\)-simplicial complex (a directed version of the notion of simplicial complex) is introduced. The author constructs a precubical model of the space of directed paths between two points of a finite \(d\)-simplicial complex. It is proved that if the \(d\)-simplicial complex is without directed loops, the geometric realization of this precubical model is homotopy equivalent to the space of paths between the same points in the geometric realization of the \(d\)-simplicial complex.