Lemma 8.13.1. Let \mathcal{C} be a site. Let U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C}). Then j_ U : \mathcal{C}/U \to \mathcal{C} is a stack over \mathcal{C} if and only if h_ U is a sheaf.
Lemma 8.13.1. Let \mathcal{C} be a site. Let U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C}). Then j_ U : \mathcal{C}/U \to \mathcal{C} is a stack over \mathcal{C} if and only if h_ U is a sheaf.
Proof. Combine Lemma 8.6.3 with Categories, Example 4.38.7. \square
Comments (0)