4 papers · 1 filter
Branching spaces of multipointed d-spaces
Philippe Gaucher
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…
Branching space of precubical set
Philippe Gaucher
Using the notion of short natural directed path, we introduce the homotopy branching space of a precubical set. It is unique only up to homotopy equivalence. We prove that, for any…
Globular subdivisions are dihomotopy equivalences
Philippe Gaucher
We prove that any globular subdivision of multipointed -spaces gives rise to a dihomotopy equivalence between the associated flows. As a straightforward application, the flows a…
Natural homotopy of multipointed d-spaces
Philippe Gaucher
We identify Grandis' directed spaces as a full reflective subcategory of the category of multipointed -spaces. When the multipointed -space realizes a precubical set, its ref…