On purity and applications to coderived and singularity categories

Jan Stovicek

Given a locally coherent Grothendieck category G, we prove that the homotopy category of complexes of injective objects (also known as the coderived category of G) is compactly gen…