Lemma 6.30.10. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $(\mathcal{C}, F)$ be a type of algebraic structure. Denote $\mathop{\mathit{Sh}}\nolimits (\mathcal{B}, \mathcal{C})$ the category of sheaves with values in $\mathcal{C}$ on $\mathcal{B}$. There is an equivalence of categories

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

## Comments (0)

There are also: