Homotopy theory of Moore flows. I

DOI10.32408/COMPOSITIONALITY-3-3zbMATH Open1491.18009arXiv2010.13664OpenAlexW3093779074MaRDI QIDQ5087657FDOQ5087657

Authors: Philippe Gaucher 

Publication date: 1 July 2022

Published in: Compositionality (Search for Journal in Brave)

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.

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Left properness of flows
• Comparing cubical and globular directed paths
• Six model categories for directed homotopy
• Title not available (Why is that?)
• 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)