Definition 67.8.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. We say $f$ is quasi-compact if for every quasi-compact algebraic space $Z$ and morphism $Z \to Y$ the fibre product $Z \times _ Y X$ is quasi-compact.
Comments (0)