Erratum to: Noncommutativity as a Colimit

The main purpose of this erratum is to correct a claim we made in our paper “Noncommutativity as a colimit” (Applied categorical structures, Volume 20, Number 4, August 2012, pp. 393–414) at the bottom of page 411, in between Proposition 9 and Lemma 4. Fortunately, our mistake does not invalidate any of the results in the paper or make them less relevant. Let us first define the categories CstaredTopos and LocaledTopos.