Lemma 15.87.3. Let $K = (K_ n^\bullet )$ be an object of $D(\textit{Mod}(\mathbf{N}, (A_ n)))$. There exists a canonical distinguished triangle

in $D(A)$. In other words, $R\mathop{\mathrm{lim}}\nolimits K$ is a derived limit of the inverse system $(K_ n^\bullet )$ of $D(A)$, see Derived Categories, Definition 13.34.1.

## Comments (0)