Introduces c-direct categories with proofs on model structures and realization functors, then defines ε-branching spaces for A-sets that coincide with prior definitions on free cases and are ε-independent up to homotopy when cofibrant.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
Defines regular clock maps and proves their category is locally presentable via small-orthogonality, with geometric realizations yielding them and path-to-trace quotients being homotopy equivalences.
The tame realization turns precubical sets into multipointed d-spaces whose execution paths match nonconstant tame d-paths, inducing a Moore flow functor naturally weakly equivalent to a colimit-preserving one in the h-model structure.
citing papers explorer
-
Regular clock map and trace space
Defines regular clock maps and proves their category is locally presentable via small-orthogonality, with geometric realizations yielding them and path-to-trace quotients being homotopy equivalences.