Situation 87.21.6. Let P be a local property of morphisms of \textit{WAdm}^{count}, see Situation 87.21.2. We say P is stable under base change if given B \to A and B \to C in \textit{WAdm}^{count} we have P(B \to A) \Rightarrow P(C \to A \widehat{\otimes }_ B C). This makes sense as A \widehat{\otimes }_ B C is an object of \textit{WAdm}^{count} by Lemma 87.4.12.
Comments (0)