Homotopy Theory of Labelled Symmetric Precubical Sets

TL;DR

This paper establishes a homotopy-theoretic framework for labelled symmetric precubical sets, demonstrating their Quillen equivalence to cubical transition systems and exploring related model structures and weak equivalences.

Contribution

It proves the existence of a model category of labelled symmetric precubical sets Quillen equivalent to a localized cubical transition system category, extending the homotopy theory of higher dimensional transition systems.

Findings

Existence of a model category of labelled symmetric precubical sets

Quillen equivalence with a Bousfield localization of cubical transition systems

Weak equivalences related to bisimulation

Abstract

This paper is the third paper of a series devoted to higher dimensional transition systems. The preceding paper proved the existence of a left determined model structure on the category of cubical transition systems. In this sequel, it is proved that there exists a model category of labelled symmetric precubical sets which is Quillen equivalent to the Bousfield localization of this left determined model category by the cubification functor. The realization functor from labelled symmetric precubical sets to cubical transition systems which was introduced in the first paper of this series is used to establish this Quillen equivalence. However, it is not a left Quillen functor. It is only a left adjoint. It is proved that the two model categories are related to each other by a zig-zag of Quillen equivalences of length two. The middle model category is still the model category of cubical transition systems, but with an additional family of generating cofibrations. The weak equivalences are closely related to bisimulation. Similar results are obtained by restricting the constructions to the labelled symmetric precubical sets satisfying the HDA paradigm.