SympSnip:

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 ATw(C). Furthermore, the image of A generated Tw(C).