Flows revisited: the model category structure and its left determinedness

MaRDI QIDQ5116338zbMATH OpenFDO

Authors Philippe Gaucher

Publication date 24 August 2020

Full work available at URL https://arxiv.org/abs/1806.08197, http://cahierstgdc.com/wp-content/uploads/2020/04/GAUCHER-LXI-2.pdf

zbMATH Keywords

causal structurelocally presentable categorybisimulationcombinatorial model categoryleft determined model 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) Accessible and locally presentable categories (18C35)

Abstract: Flows are a topological model of concurrency which enables to encode the notion of refinement of observation and to understand the homological properties of branchings and mergings of execution paths. Roughly speaking, they are Grandis' $d$-spaces without an underlying topological space. They just have an underlying homotopy type. This note is twofold. First, we give a new construction of the model category structure of flows which is more conceptual thanks to Isaev's results. It avoids the use of difficult topological arguments. Secondly, we prove that this model category is left determined by adapting an argument due to Olschok. The introduction contains some speculations about what we expect to find out by localizing this minimal model category structure. Les flots sont un mod`ele topologique de la concurrence qui permet d'encoder la notion de raffinement de l'observation et de comprendre les propri'et'es homologiques des branchements et des confluences des chemins d'ex'ecution. Intuitivement, ce sont des $d$-espaces au sens de Grandis sans espace topologique sous-jacent. Ils ont seulement un type d'homotopie sous-jacent. Cette note a deux objectifs. Premi`erement de donner une nouvelle construction de la cat'egorie de mod`eles des flots plus conceptuelle gr^ace au travail d'Isaev. Cela permet deviter des arguments topologiques difficiles. Deuxi`emement nous prouvons que cette cat'egorie de mod`eles est d'etermin'ee `a gauche en adaptant un argument de Olschok. L'introduction contient quelques sp'eculations sur ce qu'on s'attend `a trouver en localisant cette cat'egorie de mod`eles minimale.

Recommendations

• A model category for the homotopy theory of concurrency
• Flow does not model flows up to weak dihomotopy
• Homotopy theory of Moore flows. I
• Comparing globular complex and flow
• scientific article

Cited in

(10)

• Left properness of flows
• Left determined model structures for locally presentable categories
• Six model categories for directed homotopy
• scientific article; zbMATH DE number 7684598 (Why is no real title available?)
• Homotopy theory of Moore flows. II
• Homotopy theory of Moore flows. I
• A model category for the homotopy theory of concurrency
• Flow does not model flows up to weak dihomotopy
• Theory of interleavings on categories with a flow
• Flows with respect to a functor

This page was built for publication: Flows revisited: the model category structure and its left determinedness

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