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 of the category of clock maps. Hence it is locally presentable. Any geometric realization of precubical sets and of transverse sets 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.
From: Philippe Gaucher [view email]
[v1]
Mon, 1 Jun 2026 16:49:52 UTC (14 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。