Lemma 92.25.1. In the situation above the category \mathcal{C}_{X/\Lambda } is fibred over X_{Zar}.
Proof. Given an object U \to \mathbf{A} of \mathcal{C}_{X/\Lambda } and a morphism U' \to U of X_{Zar} consider the object U' \to \mathbf{A} of \mathcal{C}_{X/\Lambda } where U' \to \mathbf{A} is the composition of U \to \mathbf{A} and U' \to U. The morphism (U' \to \mathbf{A}) \to (U \to \mathbf{A}) of \mathcal{C}_{X/\Lambda } is strongly cartesian over X_{Zar}. \square
Comments (0)