Regular clock maps and trace spaces

Abstract

A regular clock map is a regular map of directed spaces from a saturated directed space to the directed circle. We prove that the category of regular clock maps is a small-orthogonality class in the category of clock maps. Hence it is locally presentable. The geometric realization of any precubical set or transverse set gives rise to a regular clock map. Finally, we prove that for the underlying directed space of a regular clock map, the canonical quotient from directed paths to traces is always a homotopy equivalence.