Homotopy theory of Moore flows (I)
arXiv:2010.13664 · doi:10.32408/compositionality-3-3
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 -spaces and the q-model structure of flows.
arXiv comment39 pages; Erratum to Compositionality 3, 3, 2021, in which the notion of reparametrization category was incorrectly axiomatized
References in corpus (18)
- A necessary and sufficient condition for induced model structures
- A model category for the homotopy theory of concurrency
- Lifting accessible model structures
- A convenient category of locally preordered spaces
- Homological properties of non-deterministic branchings and mergings in higher dimensional automata
- Homotopical interpretation of globular complex by multipointed d-space
- Reparametrizations of Continuous Paths
- Comparing globular complex and flow
- T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type
- Injective and Projective Model Structures on Enriched Diagram Categories
- T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies
- Six model categories for directed homotopy
- Homotopy theory of Moore flows (I)
- Flows revisited: the model category structure and its left determinedness
- Homotopy theory of Moore flows (II)
- Type-theoretic weak factorization systems
- On fibrant objects in model categories
- Strictifying and taming directed paths in Higher Dimensional Automata