Erratum to `Towards a homotopy theory of higher dimensional transition systems'

Philippe Gaucher

Counterexamples for Proposition~8.1 and Proposition~8.2 in the article Theor. Appl. Categ. 25(2011), pp 295-341 are given. They are used in the paper only to prove Corollary~8.3. A proof of this corollary is given without them. The proof of the fibrancy of some cubical transition systems is fixed.

Keywords: higher dimensional transition system, locally presentable category, topological category, combinatorial model category, left determined model category, Bousfield localization, bisimulation

2010 MSC: 18C35,18G55,55U35,68Q85

Theory and Applications of Categories, Vol. 29, 2014, No. 2, pp 17-20.

Published 2014-03-05.

TAC Home