Example 15.62.4. Let $K^\bullet , L^\bullet $ be objects of $D^{-}(R)$. Then there is a spectral sequence with

and another spectral sequence with

Both spectral sequences have $d_2^{p, q} : E_2^{p, q} \to E_2^{p + 2, q - 1}$. After replacing $K^\bullet $ and $L^\bullet $ by bounded above complexes of projectives, these spectral sequences are simply the two spectral sequences for computing the cohomology of $\text{Tot}(K^\bullet \otimes L^\bullet )$ discussed in Homology, Section 12.25.

## Comments (2)

Comment #8706 by Yassin Mousa on

Comment #9365 by Stacks project on

There are also: