The choice of cofibrations of higher dimensional transition systems
Abstract
It is proved that there exists a left determined model structure of weak transition systems with respect to the class of monomorphisms and that it restricts to left determined model structures on cubical and regular transition systems. Then it is proved that, in these three model structures, for any higher dimensional transition system containing at least one transition, the fibrant replacement contains a transition between each pair of states. This means that the fibrant replacement functor does not preserve the causal structure. As a conclusion, we explain why working with star-shaped transition systems is a solution to this problem.
Keywords
Cite
@article{arxiv.1507.07345,
title = {The choice of cofibrations of higher dimensional transition systems},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:1507.07345},
year = {2015}
}
Comments
30 pages; v2 : reachable transition system replaced by star-shaped transition system, the difficulty of some proofs was underestimated, consequently all sketches of proofs are replaced by full proofs; v3 new title + minor revisions (final version)