  We study the construction of tensor products of representations up to
homotopy, which are the A-infinity version of ordinary representations. We
provide formulas for the construction of tensor products of representations up
to homotopy and of morphisms between them, and show that these formulas give
the homotopy category a monoidal structure which is uniquely defined up to
equivalence.
