  The homotopy category of complexes of projective left-modules over any
reasonably nice ring is proved to be a compactly generated triangulated
category, and a duality is given between its subcategory of compact objects and
the finite derived category of right-modules.
