Lemma 94.10.2. Let $S$ be an object of $\mathit{Sch}_{fppf}$. Let $\mathcal{P}$ be as in Definition 94.10.1. Consider a $2$-commutative diagram
\[ \xymatrix{ \mathcal{X}' \ar[r] \ar[d]_{f'} & \mathcal{X} \ar[d]^ f \\ \mathcal{Y}' \ar[r] & \mathcal{Y} } \]
of $1$-morphisms of categories fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$. Assume the horizontal arrows are equivalences and $f$ (or equivalently $f'$) is representable by algebraic spaces. Then $f$ has $\mathcal{P}$ if and only if $f'$ has $\mathcal{P}$.
Comments (3)
Comment #26 by David Zureick-Brown on
Comment #5939 by Dario Weißmann on
Comment #6128 by Johan on