Branching spaces of multipointed d-spaces

Abstract

Using the notion of a short directed path, we introduce the branching space of a multipointed d-space. We prove that for any q-cofibrant multipointed d-space, it is homeomorphic to the branching space of the q-cofibrant flow obtained by applying the categorization functor. As an application, we deduce a purely topological proof of the invariance of the branching space and of the branching homology of cellular multipointed d-spaces up to globular subdivision. By reversing the time direction, the same results are obtained for the merging space and the merging homology.