Definition 7.47.10. Let $\mathcal{C}$ be a category endowed with a topology $J$. Let $\mathcal{F}$ be a presheaf of sets on $\mathcal{C}$. We say that $\mathcal{F}$ is a *sheaf* on $\mathcal{C}$ if for every $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ and for every covering sieve $S$ of $U$ the canonical map

is bijective.

## Comments (0)