Homotopy theory of Moore flows (III)

Abstract

The previous paper of this series shows that the q-model categories of $\mathcal{G}$-multipointed $d$-spaces and of $\mathcal{G}$-flows are Quillen equivalent. In this paper, the same result is established by replacing the reparametrization category $\mathcal{G}$ by the reparametrization category $\mathcal{M}$. Unlike the case of $\mathcal{G}$, the execution paths of a cellular $\mathcal{M}$-multipointed $d$-space can have stop intervals. The technical tool to overcome this obstacle is the notion of globular naturalization. It is the globular analogue of Raussen's naturalization of a directed path in the geometric realization of a precubical set. The notion of globular naturalization working both for $\mathcal{G}$ and $\mathcal{M}$, the proof of the Quillen equivalence we obtain is valid for the two reparametrization categories. Together with the results of the first paper of this series, we then deduce that $\mathcal{G}$-multipointed $d$-spaces and $\mathcal{M}$-multipointed $d$-spaces have Quillen equivalent q-model structures. Finally, we prove that the saturation hypothesis can be added without any modification in the main theorems of the paper.

47 pages; this paper relies heavily on the results of arXiv:2102.07513; v5: new numbering of the theorems,definitions, etc

References in corpus (14)

• A convenient category for directed homotopy
• A model category for the homotopy theory of concurrency
• A convenient category of locally preordered spaces
• Reparametrizations of Continuous Paths
• T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type
• Reparametrizations with given stop data
• T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies
• Homotopy theory of Moore flows (I)
• Homotopy theory of Moore flows (II)
• Type-theoretic weak factorization systems
• Comparing cubical and globular directed paths
• Regular directed path and Moore flow
• Directed degeneracy maps for precubical sets
• Towards a theory of natural directed paths