Injective module sheaves are flasque

ID: injective-module-sheaves-are-flasque

For opens , there is a monomorphism between the extensions by zero of and . Morphisms from these sheaves into an injective sheaf of modules identify with sections on and , respectively. The injective object extension property therefore makes the restriction surjective, proving that is flasque. The argument applies to any ringed space.

New to topics? Read the docs here!