Lemma 84.16.1. Let $\mathcal{C}$ be a site. Let $K$ be a simplicial object of $\text{SR}(\mathcal{C})$. The localization functor $j_0 : \mathcal{C}/K_0 \to \mathcal{C}$ defines an augmentation $a_0 : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/K_0) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$, as in case (B) of Remark 84.4.1. The corresponding morphisms of topoi

of Lemma 84.4.2 are equal to the morphisms of topoi associated to the continuous and cocontinuous localization functors $j_ n : \mathcal{C}/K_ n \to \mathcal{C}$ and $j_{total} : (\mathcal{C}/K)_{total} \to \mathcal{C}$.

## Comments (0)