Lemma 85.31.1. Let $X \to S$ be a morphism of schemes. Suppose $Y \to (X/S)_\bullet $ is a cartesian morphism of simplicial schemes. For $y \in Y_0$ a point define

as a subset of $Y_0$. Then $y \in T_ y$ and $T_ y \cap T_{y'} \not= \emptyset \Rightarrow T_ y = T_{y'}$.

## Comments (0)