Definition 59.15.5. Let $S$ be a scheme. The category of schemes over $S$ is denoted $\mathit{Sch}/S$. Consider a functor $\mathcal{F} : (\mathit{Sch}/S)^{opp} \to \textit{Sets}$, in other words a presheaf of sets. We say $\mathcal{F}$ satisfies the sheaf property for the fpqc topology if for every fpqc covering $\{ U_ i \to U\} _{i \in I}$ of schemes over $S$ the diagram (59.11.1.1) is an equalizer diagram.

There are also:

• 4 comment(s) on Section 59.15: The fpqc topology

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).