Directed path spaces via discrete vector fields

Krzysztof Ziemiański

Let $K$ be an arbitrary semi-cubical set that can be embedded in a standard cube. Using Discrete Morse Theory, we construct a CW-complex that is homotopy equivalent to the space $\…