Lemma 83.13.2. In Situation 83.3.3. If $K \in D(\mathcal{C}_{total})$ is an object, then $(K_ n, K(\varphi ))$ is a simplicial system of the derived category. If $K$ is cartesian, so is the system.

Proof. This is obvious. $\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).