Definition 6.30.8. 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.

1. A presheaf $\mathcal{F}$ with values in $\mathcal{C}$ on $\mathcal{B}$ is a rule which assigns to each $U \in \mathcal{B}$ an object $\mathcal{F}(U)$ of $\mathcal{C}$ and to each inclusion $V \subset U$ of elements of $\mathcal{B}$ a morphism $\rho ^ U_ V : \mathcal{F}(U) \to \mathcal{F}(V)$ in $\mathcal{C}$ such that $\rho ^ U_ U = \text{id}_{\mathcal{F}(U)}$ for all $U \in \mathcal{B}$ and whenever $W \subset V \subset U$ in $\mathcal{B}$ we have $\rho ^ U_ W = \rho ^ V_ W \circ \rho ^ U_ V$.

2. A morphism $\varphi : \mathcal{F} \to \mathcal{G}$ of presheaves with values in $\mathcal{C}$ on $\mathcal{B}$ is a rule which assigns to each element $U \in \mathcal{B}$ a morphism of algebraic structures $\varphi : \mathcal{F}(U) \to \mathcal{G}(U)$ compatible with restriction maps.

3. Given a presheaf $\mathcal{F}$ with values in $\mathcal{C}$ on $\mathcal{B}$ we say that $U \mapsto F(\mathcal{F}(U))$ is the underlying presheaf of sets.

4. A sheaf $\mathcal{F}$ with values in $\mathcal{C}$ on $\mathcal{B}$ is a presheaf with values in $\mathcal{C}$ on $\mathcal{B}$ whose underlying presheaf of sets is a sheaf.

Comment #3266 by on

The standard definition of presheaf would also demand that $\rho_U^U$ is the identity.

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