The Stacks project

Lemma 85.16.3. Let $\mathcal{C}$ be a site. Let $K$ be a simplicial object of $\text{SR}(\mathcal{C})$. Let $U/U_{n, i}$ be an object of $\mathcal{C}/K_ n$. Let $\mathcal{F} \in \textit{Ab}((\mathcal{C}/K)_{total})$. Then

where

1. on the left hand side $U$ is viewed as an object of $\mathcal{C}_{total}$, and

2. on the right hand side $\mathcal{F}_{n, i}$ is the $i$th component of the sheaf $\mathcal{F}_ n$ on $\mathcal{C}/K_ n$ in the decomposition $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_ n) = \prod \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/U_{n, i})$ of Section 85.15.