Homotopy theory of Moore flows. I

DOI10.32408/COMPOSITIONALITY-3-3MaRDI QIDQ5087657zbMATH OpenOpenAlexFDO

Authors Philippe Gaucher

Publication date 1 July 2022

Published in Compositionality (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.13664

Mathematics Subject Classification ID

Homotopical algebra, Quillen model categories, derivators (18N40) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: Erratum, 11 July 2022: This is an updated version of the original paper in which the notion of reparametrization category was incorrectly axiomatized. Details on the changes to the original paper are provided in the Appendix. A reparametrization category is a small topologically enriched semimonoidal category such that the semimonoidal structure induces a structure of a semigroup on objects, such that all spaces of maps are contractible and such that each map can be decomposed (not necessarily in a unique way) as a tensor product of two maps. A Moore flow is a small semicategory enriched over the biclosed semimonoidal category of enriched presheaves over a reparametrization category. We construct the q-model category of Moore flows. It is proved that it is Quillen equivalent to the q-model category of flows. This result is the first step to establish a zig-zag of Quillen equivalences between the q-model structure of multipointed $d$-spaces and the q-model structure of flows.

Recommendations

• Homotopy theory of Moore flows. II
• Flows revisited: the model category structure and its left determinedness
• A model category for the homotopy theory of concurrency
• Six model categories for directed homotopy
• scientific article; zbMATH DE number 7684598

Cited in

(10)

• Left properness of flows
• Six model categories for directed homotopy
• Comparing cubical and globular directed paths
• scientific article; zbMATH DE number 7684598 (Why is no real title available?)
• Comparing globular complex and flow
• Directed degeneracy maps for precubical sets
• Homotopy theory of Moore flows. II
• A model category for the homotopy theory of concurrency
• Flows revisited: the model category structure and its left determinedness
• Regular directed path and Moore flow

This page was built for publication: Homotopy theory of Moore flows. I

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