Saturated directed spaces and generalized clocks

Abstract

For a general directed space, forgetting the parametrization of paths can change their homotopy type. A clock is a directed space with submetrizable underlying space; a timed space is a saturated directed space equipped with a regular directed map to a clock. Over every fixed clock, timed spaces form a locally presentable category, and their quotients from directed paths with fixed endpoints to traces are trivial Hurewicz fibrations with continuous sections. For Hausdorff saturated directed spaces with metrizable quasicompact subspaces, these quotients are trivial q-fibrations; this includes the second countable case. The directed circle is the cubical clock, but a finite cellular globular example admits no regular map to it. We construct a globular clock from a cellular q-cofibrant replacement of the terminal multipointed $d$-space. It contains the cubical clock by an injective directed map and admits regular maps from all q-cofibrant globular realizations, which are themselves saturated clocks. Thus timed spaces over this clock include both cubical and globular examples. Normalization gives a new proof of the quotient theorem for execution paths of q-cofibrant multipointed $d$-spaces and proves that the quotient by nondecreasing surjections is a trivial Hurewicz fibration with a continuous section.