More on compact objects

Here we prove that if a compact object generates a triangulated category
with direct sums, then it classically generates the subcategory of
compact objects.
Remark on generating the derived category of a dga
Tags: Added new tags