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.
Articles by others on the same topic
There are currently no matching articles.