Left properness of flows

MaRDI QIDQ4994669zbMATH OpenFDO

Authors Philippe Gaucher

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1907.01454, http://www.tac.mta.ca/tac/volumes/37/19/37-19abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

flowmodel categoryReedy categorytopological model of concurrency

Mathematics Subject Classification ID

Homotopical algebra, Quillen model categories, derivators (18N40) 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: Using Reedy techniques, this paper gives a correct proof of the left properness of the q-model structure of flows. It fixes the preceding proof which relies on an incorrect argument. The last section is devoted to fix some arguments published in past papers coming from this incorrect argument. These Reedy techniques also enable us to study the interactions between the path space functor of flows with various notions of cofibrations. The proofs of this paper are written to work with many convenient categories of topological spaces like the ones of $k$-spaces and of weakly Hausdorff $k$-spaces and their locally presentable analogues, the $Delta$-generated spaces and the $Delta$-Hausdorff $Delta$-generated spaces.

Recommendations

• Flows revisited: the model category structure and its left determinedness
• Flow does not model flows up to weak dihomotopy
• Homotopy theory of Moore flows. II
• Six model categories for directed homotopy
• Homotopy theory of Moore flows. I

Cites work

• \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences
• A convenient category for directed homotopy
• A convenient category of locally preordered spaces
• A model category for the homotopy theory of concurrency
• Abstract and concrete categories: the joy of cats
• Algebraic models for higher categories
• Classifying spaces for 1-truncated compact Lie groups
• Comparing globular complex and flow
• Components of the fundamental category
• Components of the fundamental category. II
• Concrete categories and infinitary languages
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Enriched diagrams of topological spaces over locally contractible enriched categories
• Flows revisited: the model category structure and its left determinedness
• Globular realization and cubical underlying homotopy type of time flow of process algebra
• Homotopical interpretation of globular complex by multipointed d-space
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• Mixing model structures
• Model category structures in bifibred categories
• On combinatorial model categories
• On fibrant objects in model categories
• On the construction of functorial factorizations for model categories
• Pair component categories for directed spaces
• Strong cofibrations and fibrations in enriched categories
• T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
• T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
• The homotopy category is a homotopy category
• Topological hypercovers and \(\mathbb{A}^1\)-realizations
• Towards a homotopy theory of process algebra

Cited in

(5)

• Homotopy theory of Moore flows. II
• Directed degeneracy maps for precubical sets
• Comparing cubical and globular directed paths
• Regular directed path and Moore flow
• Globular subdivisions are dihomotopy equivalences

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: Left properness of flows

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