The trace space of the \(k\)-skeleton of the \(n\)-cube
We show that the space of directed paths on the \(k\)-skeleton of the \(n\)-cube is homotopy equivalent to the nerve of a certain category of flags of finite sets.
directed algebraic topology simplicial complex 55p15 55u10 68q85