A cubical model for path spaces in d-simplicial complexes

We introduce the notion of a d-simplicial complex — a directed analogue of a simplicial complex. Then we construct a pre-cubical model for the space of paths between two vertices of a finite d-simplicial complex K. Next, we prove that (if K has no directed loops) this model is actually homotopy equivalent to the space of paths.