Lemma of the day

Let A be a Grothendieck abelian category. Then

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

See Tag 07D9.