The homotopy category of complexes of projective modules
arXiv:math/0312088
Abstract
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.
10 pages