Definition 6.30.1. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$.

1. A presheaf $\mathcal{F}$ of sets on $\mathcal{B}$ is a rule which assigns to each $U \in \mathcal{B}$ a set $\mathcal{F}(U)$ and to each inclusion $V \subset U$ of elements of $\mathcal{B}$ a map $\rho ^ U_ V : \mathcal{F}(U) \to \mathcal{F}(V)$ such that $\rho ^ U_ U = \text{id}_{\mathcal{F}(U)}$ for all $U \in \mathcal{B}$ 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 of sets on $\mathcal{B}$ is a rule which assigns to each element $U \in \mathcal{B}$ a map of sets $\varphi : \mathcal{F}(U) \to \mathcal{G}(U)$ compatible with restriction maps.

Comment #3218 by on

Your definition of presheaf seems non-standard to me. Do you not want to also demand that the restriction from $U$ to $U$ is the identity map? [this is not implied by what you have at the time of writing; for example if $A$ is your favourite set with two elements and $a$ is your favourite element of this set, then we can define $\mathcal{F}(U)=A$ for all $U$ and we can let $\rho^U_V$ be the constant map sending everything to $a$ for all $U$ and $V$]

Comment #3320 by on

Dear Kevin, OK I finally got to your comment! Of course, this is an omission and I didn't really intend to have a nonstandard definition of a presheaf! Fixed here.

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