Finite copoducts of sheaves conserve quasi-compactness.

Lemma 7.17.6. Let $\mathcal{C}$ be a site. If $n \geq 1$ and $\mathcal{F}_1, \ldots , \mathcal{F}_ n$ are quasi-compact sheaves on $\mathcal{C}$, then $\coprod _{i = 1, \ldots , n} \mathcal{F}_ i$ is quasi-compact.

Proof. Omitted. $\square$

Comment #7340 by Alejandro González Nevado on

Slogan suggestion: finite copoducts of sheaves conserve quasi-compactness.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).