Homotopy theory of Moore flows (III)

MaRDI QIDQ6431170zbMATH OpenFDO

Authors Philippe Gaucher

Publication date 28 March 2023

Mathematics Subject Classification ID

Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: The previous paper of this series shows that the q-model categories of $mathcalG$-multipointed $d$-spaces and of $mathcalG$-flows are Quillen equivalent. In this paper, the same result is established by replacing the reparametrization category $mathcalG$ by the reparametrization category $mathcalM$. Unlike the case of $mathcalG$, the execution paths of a cellular $mathcalM$-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 $mathcalG$ and $mathcalM$, 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 $mathcalG$-multipointed $d$-spaces and $mathcalM$-multipointed $d$-spaces have Quillen equivalent q-model structures.

This page was built for publication: Homotopy theory of Moore flows (III)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6431170)