Flows revisited: the model category structure and its left determinedness

zbMATH Open1452.18010arXiv1806.08197MaRDI QIDQ5116338FDOQ5116338

Authors: Philippe Gaucher 

Publication date: 24 August 2020

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.

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

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

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)

Cited In (10)

• Left properness of flows
• Left determined model structures for locally presentable categories
• Six model categories for directed homotopy
• Title not available (Why is that?)
• 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)