 Morphism of sheaves

A morphism of sheaves assigns a map $\mathcal{F}(U)\to \mathcal{G}(U)$ on every open set, commuting with all restriction maps. For sheaves of abelian groups, sheaves of rings or sheaves of modules, the maps must also preserve the relevant algebraic structure. It induces maps on every stalk, and equality of sheaf morphisms can be checked there.