Comparing cubical and globular directed paths
Philippe Gaucher · Fundamenta Mathematicae · 2023
A flow is a directed space structure on a homotopy type. It is already known that the underlying homotopy type of the realization of a precubical set as a flow is homotopy equivalent to the realization of the precubical set as a topological space. This re