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.