Let be a triangulated category with coproducts. Then is compactly generated if there is a set of objects of such that
Whenever is an object such that for all and , then .
All objects in are compact i.e. for all and for every family of objects of
is an isomorphism.