Year: 2026
Type: preprint
Abstract: We construct a Hausdorff saturated directed space whose directed path space between two distinct points has nontrivial fundamental group although the corresponding trace space is a square. 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 paths to traces are trivial Hurewicz fibrations with continuous sections. For Hausdorff saturated directed spaces whose compact subspaces are metrizable, these quotients are trivial q-fibrations. We construct a globular clock containing the directed circle and admitting regular maps from all q-cofibrant globular realizations, whereas a finite cellular example admits no regular map to the circle. Normalization also gives a proof of the quotient theorem for execution paths and establishes the homotopy lifting property for nondecreasing reparametrizations.
Source: arXiv (Cornell University)
Author: Gaucher, Philippe
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7214754921