#
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.

http://www.tac.mta.ca/tac/volumes/29/2/29-02.pdf

TAC Home