The Stacks project

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.