For every connected polyhedron, there exists a shared-variable concurrent system whose higher-dimensional automaton model has the same homotopy type as the polyhedron.
