Regular directed path and Moore flow

MaRDI QIDQ6197834zbMATH OpenFDO

Authors Philippe Gaucher

Publication date 19 February 2024

Full work available at URL https://arxiv.org/abs/2208.00918, https://www1.mat.uniroma1.it/ricerca/rendiconti/45_1-2_(2024)_111-151.html

zbMATH Keywords

directed pathcombinatorial model categorydirected homotopyprecubical setaccessible categorymixed model structure

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)

Recommendations

• Comparing cubical and globular directed paths
• Spaces of directed paths on pre-cubical sets II
• Spaces of directed paths on pre-cubical sets
• A cubical model for path spaces in d-simplicial complexes

Cites work

• scientific article; zbMATH DE number 2132154 (Why is no real title available?)
• scientific article; zbMATH DE number 44585 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• 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 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 7684598 (Why is no real title available?)
• A convenient category for directed homotopy
• A model category for the homotopy theory of concurrency
• A necessary and sufficient condition for induced model structures
• Abstract and concrete categories: the joy of cats
• Accessible model categories
• Comparing cubical and globular directed paths
• Configuration spaces and directed paths on the final precubical set
• Convenient categories of topological spaces for homotopy theory
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Directed homotopy in non-positively curved spaces
• Enriched diagrams of topological spaces over locally contractible enriched categories
• 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
• Injective and projective model structures on enriched diagram categories
• Left properness of flows
• Left-determined model categories and universal homotopy theories
• Lifting accessible model structures
• Mixing model structures
• On combinatorial model categories
• On the algebra of cubes
• On the construction of functorial factorizations for model categories
• Reparametrizations of continuous paths
• Reparametrizations with given stop data
• Six model categories for directed homotopy
• Spaces of directed paths on pre-cubical sets
• Spaces of directed paths on pre-cubical sets II
• Strictifying and taming directed paths in higher dimensional automata
• Trace spaces in a pre-cubical complex

This page was built for publication: Regular directed path and Moore flow

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