Injective sheaf of modules
ID: injective-sheaf-of-modules
On a ringed space , an injective module sheaf is an injective object in the category of sheaves of modules over . Its defining extension property concerns module-sheaf morphisms; it is distinct from injectivity solely in the category of sheaves of abelian groups.
New to topics? Read the docs here!