Towards a homotopy theory of higher dimensional transition systems

zbMATH Open1235.18004arXiv1011.0918MaRDI QIDQ5200301FDOQ5200301

Authors: Philippe Gaucher 

Publication date: 1 August 2011

Abstract: We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition systems. In this paper, we turn our attention to the full subcategory of weak higher dimensional transition systems which are unions of cubes. It is proved that there exists a left proper combinatorial model structure such that two objects are weakly equivalent if and only if they have the same cubes after simplification of the labelling. This model structure is obtained by Bousfield localizing a model structure which is left determined with respect to a class of maps which is not the class of monomorphisms. We prove that the higher dimensional transition systems corresponding to two process algebras are weakly equivalent if and only if they are isomorphic. We also construct a second Bousfield localization in which two bisimilar cubical transition systems are weakly equivalent. The appendix contains a technical lemma about smallness of weak factorization systems in coreflective subcategories which can be of independent interest. This paper is a first step towards a homotopical interpretation of bisimulation for higher dimensional transition systems.

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

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

Recommendations

• Directed algebraic topology and higher dimensional transition systems
• Homotopy theory of labelled symmetric precubical sets
• Simulations as homotopies
• Combinatorics of past-similarity in higher dimensional transition systems
• The choice of cofibrations of higher dimensional transition systems

zbMATH Keywords

Bousfield localizationlocally presentable categorytopological categorycombinatorial model categoryhigher-dimensional transition systemleft 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 (9)

• History-preserving bisimilarity for higher-dimensional automata via open maps
• Homotopy theory of labelled symmetric precubical sets
• Directed degeneracy maps for precubical sets
• Erratum to ``Towards a homotopy theory of higher dimensional transition systems
• The geometry of cubical and regular transition systems
• The choice of cofibrations of higher dimensional transition systems
• Directed algebraic topology and higher dimensional transition systems
• Simulations as homotopies
• T-homotopy and refinement of observation. I: Introduction

This page was built for publication: Towards a homotopy theory of higher dimensional transition systems

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