  We define natural A_infinity-transformations and construct
A_infinity-category of A_infinity-functors. The notion of non-strict units in
an A_infinity-category is introduced. The 2-category of (unital)
A_infinity-categories, (unital) functors and transformations is described.
