Erratum to `Category of A_∞-categories'

Volodymyr Lyubashenko

The erroneous statement (HHA 5 (2003), no. 1, 1-48) that the collection of unital A_∞-categories, all A_∞-functors, and all A_∞-transformations (resp. equivalence classes of natural A_∞-transformations) form a K-2-category K^uA_∞ (resp. ordinary 2-category ^uA_∞) is corrected as follows. All 2-category axioms are satisfied, except that 1_e·f does not necessarily equal 1_ef for all composable 1-morphisms e, f. The axiom e·1_f=1_ef does hold. The mistake does not affect results on invertible 2-morphisms and quasi-invertible 1-morphisms in ^uA_∞.

Homology, Homotopy and Applications, Vol. 9 (2007), No. 2, pp.163-164.

Available as: dvi dvi.gz ps ps.gz pdf