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!