theorem 0.0.1 Let C be an A∞ category. The category of twisted complexes, Tw(C) is a triangulated category. There is a fully faithful inclusion A→Tw(C). Furthermore, the image of A generated Tw(C).