Lemma 76.3.2. In Situation 76.2.1.

$\mathcal{F}$ is universally pure above $y$, and

for every morphism $(Y', y') \to (Y, y)$ of pointed algebraic spaces the pullback $\mathcal{F}_{Y'}$ is pure above $y'$.

In particular, $\mathcal{F}$ is universally pure relative to $Y$ if and only if every base change $\mathcal{F}_{Y'}$ of $\mathcal{F}$ is pure relative to $Y'$.

## Comments (0)