Yes. Wikipedia links to this work in the derived category of an arbitrary abelian category (assumably one such that the derived category exists, e.g. Grothendieck,) although it's not a complete generalization as it uses some infinite direct sums.
Yes. Wikipedia links to this work in the derived category of an arbitrary abelian category (assumably one such that the derived category exists, e.g. Grothendieck,) although it's not a complete generalization as it uses some infinite direct sums.