  We provide a criterion for the existence of right approximations in
cocomplete additive categories; it is a straightforward generalisation of a
result due to El Bashir. This criterion is used to construct adjoint functors
in homotopy categories. Applications include the study of (pure) derived
categories. For instance, it is shown that the pure derived category of any
module category is compactly generated.
