(Pre)sheaf Categories
It should be obvious to any readers that categorical objects are meaningful only through the morphisms between them. In this post, we’ll establish morphisms of (pre)sheaves, establish that they generate abelian categories, and then study the kernels and cokernels of the category.
Morphisms of (pre)sheaves
The above definition defines presheaf morphisms, but sheaf morphisms are defined identically (in categorical terms, we say that the category of sheaves is a full subcategory of the category of presheaves. Can you define the term full subcategory?)
From now on, we let \textbf{Set}_X represent the category of set sheaves on X, \textit{Ab}_X the category of abelian group sheaves on X, etc. Let \textbf{Set}^{pre}_X be the category of set presheaves on X, and likewise for other presheaf categories. Since we can interpret presheaves as contravariant functors, presheaf morphisms can be viewed as natural transformations (verify this!)
You might expect that a morphism on presheaves induces a morphism on stalks. And you'd be right. For any point p\in X, let H^\rmF_p be defined as it is here (in the link, the \rmF is omitted since there was only one presheaf in question) for presheaf \rmF\rightharpoondown X. Let \phi:\rmF\to\rmG be a morphism of presheaves over X. For some p\in X, letting B_p be defined as in here, we let f(U):\rmF(U)\to\rmF_p and g(U):\rmG(U)\to\rmG_p be the canonical embeddings defining the stalks for each U\in B_p.
Now how do we generate a canonical morphism between the stalks? Well, for each U\in B_p, we have the morphism g(U)\circ\phi(U):\rmF(U)\to\rmG_p. By the colimit properties of \rmF_p, there exists a unique morphism \phi^*(p):\rmF_p\to\rmG_p such that for all U, g(U)\circ\phi(U)=\phi^*(p)\circ f(U).
Interestingly, the set of all morphisms can itself be interpreted as a sheaf structure.
It should be obvious to see that as a functor, the sheaf Hom is covariant on its second input and contravariant on its first. To show that the sheaf Hom can be viewed as a sheaf itself, we need a small lemma.