Lemma 6.30.7. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Denote $\mathop{\mathit{Sh}}\nolimits (\mathcal{B})$ the category of sheaves on $\mathcal{B}$. There is an equivalence of categories

$\mathop{\mathit{Sh}}\nolimits (X) \longrightarrow \mathop{\mathit{Sh}}\nolimits (\mathcal{B})$

which assigns to a sheaf on $X$ its restriction to the members of $\mathcal{B}$.

Proof. The inverse functor in given in Lemma 6.30.6 above. Checking the obvious functorialities is left to the reader. $\square$

There are also:

• 6 comment(s) on Section 6.30: Bases and sheaves

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