English

Regular directed path and Moore flow

Category Theory 2024-01-01 v4 Algebraic Topology

Abstract

Using the notion of tame regular dd-path of the topological nn-cube, we introduce the tame regular realization of a precubical set as a multipointed dd-space. Its execution paths correspond to the nonconstant tame regular dd-paths in the geometric realization of the precubical set. The associated Moore flow gives rise to a functor from precubical sets to Moore flows which is weakly equivalent in the h-model structure to a colimit-preserving functor. The two functors coincide when the precubical set is spatial, and in particular proper. As a consequence, it is given a model category interpretation of the known fact that the space of tame regular dd-paths of a precubical set is homotopy equivalent to a CW-complex. We conclude by introducing the regular realization of a precubical set as a multipointed dd-space and with some observations about the homotopical properties of tameness.

Cite

@article{arxiv.2208.00918,
  title  = {Regular directed path and Moore flow},
  author = {Philippe Gaucher},
  journal= {arXiv preprint arXiv:2208.00918},
  year   = {2024}
}

Comments

37 pages; Follows arXiv:2207.01378, key definitions repeated for the ease of the reader; v4: new section added and various improvements

R2 v1 2026-06-25T01:23:07.026Z