Injective sheaf of modules
= Injective sheaf of modules
On a <ringed space> $(X,\mathcal O_X)$, an injective module sheaf is an <injective object> in the category of <sheaves of modules> over $\mathcal O_X$. Its defining extension property concerns module-sheaf morphisms; it is distinct from injectivity solely in the category of <sheaves of abelian groups>.