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.