Lemma 22.5.4. Let (A, \text{d}) be a differential graded algebra. The homotopy category K(\text{Mod}_{(A, \text{d})}) has direct sums and products.
Proof. Omitted. Hint: Just use the direct sums and products as in Lemma 22.4.2. This works because we saw that these functors commute with the forgetful functor to the category of graded A-modules and because \prod is an exact functor on the category of families of abelian groups. \square
Comments (2)
Comment #8480 by Et on
Comment #9096 by Stacks project on
There are also: