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
2 Pith papers cite this work. Polarity classification is still indexing.
fields
math.CT 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
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
-
Branching spaces of transverse sets
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.
-
Directed path and Moore flow
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.