Comparing cubical and globular directed paths

DOI10.4064/FM219-3-2023MaRDI QIDQ6144989zbMATH OpenFDO

Authors Philippe Gaucher

Publication date 30 January 2024

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

accessible model categorycombinatorial model categorydirected homotopydirected pathprecubical setReedy category

Mathematics Subject Classification ID

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: A flow is a directed space structure on a homotopy type. It is already known that the underlying homotopy type of the realization of a precubical set as a flow is homotopy equivalent to the realization of the precubical set as a topological space. This realization depends on the non-canonical choice of a q-cofibrant replacement. We construct a new realization functor from precubical sets to flows which is homotopy equivalent to the previous one and which does not depend on the choice of any cofibrant replacement functor. The main tool is the notion of natural $d$-path introduced by Raussen. The flow we obtain for a given precubical set is not anymore q-cofibrant but is still m-cofibrant. As an application, we prove that the space of execution paths of the realization of a precubical set as a flow is homotopy equivalent to the space of nonconstant $d$-paths between vertices in the geometric realization of the precubical set.

Recommendations

• One-relator groups and the lower central series. II: Invariants of one- relator groups
• scientific article; zbMATH DE number 5167093
• Matching as the Intersection of Matroids
• scientific article; zbMATH DE number 4098692
• Lectures on injective modules and quotient rings
• scientific article; zbMATH DE number 3280343
• scientific article; zbMATH DE number 3212179
• scientific article; zbMATH DE number 3156637
• A stochastic treatment of a control system with breakdown and repair

Cites work

• A model category for the homotopy theory of concurrency
• A necessary and sufficient condition for induced model structures
• Accessible model categories
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Directed homotopy in non-positively curved spaces
• Globular realization and cubical underlying homotopy type of time flow of process algebra
• Homotopical interpretation of globular complex by multipointed d-space
• Homotopy theory of Moore flows. I
• Homotopy theory of Moore flows. II
• Homotopy theory of posets
• 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 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• Left properness of flows
• Lifting accessible model structures
• Mixing model structures
• Note on Cofibrations.
• On combinatorial model categories
• On the algebra of cubes
• On the construction of functorial factorizations for model categories
• Sheaves in geometry and logic: a first introduction to topos theory
• Simplicial models of trace spaces
• Six model categories for directed homotopy
• Spaces of directed paths on pre-cubical sets
• Spaces of directed paths on pre-cubical sets II
• T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
• The \(D\)-topology for diffeological spaces
• Towards a homotopy theory of process algebra
• Trace spaces in a pre-cubical complex

Cited in

(2)

• Directed degeneracy maps for precubical sets
• Regular directed path and Moore flow

This page was built for publication: Comparing cubical and globular directed paths

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