Lemma 15.87.11. Let $A$ be a ring. Let $E \to D \to F \to E[1]$ be a distinguished triangle of $D(\mathbf{N}, A)$. Let $(E_ n)$, resp. $(D_ n)$, resp. $(F_ n)$ be the system of objects of $D(A)$ associated to $E$, resp. $D$, resp. $F$. Then for every $K \in D(A)$ there is a canonical distinguished triangle

$R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A E_ n) \to R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A D_ n) \to R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A F_ n) \to R\mathop{\mathrm{lim}}\nolimits (K \otimes ^\mathbf {L}_ A E_ n)[1]$

in $D(A)$ with notation as in Remark 15.87.10.

Proof. This is clear from the construction in Remark 15.87.10 and the fact that $\Delta : D(A) \to D(\mathbf{N}, A)$, $- \otimes ^\mathbf {L} -$, and $R\mathop{\mathrm{lim}}\nolimits$ are exact functors of triangulated categories. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).