Morphism of sheaves
= Morphism of sheaves
{title2=$\phi:\mathcal F\to\mathcal G$}
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.