Let A be a Grothendieck abelian category. Then

- D(A) has both direct sums and products,
- direct sums are obtained by taking termwise direct sums of any complexes,
- products are obtained by taking termwise products of K-injective complexes.

See Tag 07D9.