The Stacks project

Remark 13.21.4. The spectral sequences of Lemma 13.21.3 are functorial in the complex $K^\bullet$. This follows from functoriality properties of Cartan-Eilenberg resolutions. On the other hand, they are both examples of a more general spectral sequence which may be associated to a filtered complex of $\mathcal{A}$. The functoriality will follow from its construction. We will return to this in the section on the filtered derived category, see Remark 13.26.15.