Sheafification of injective morphisms. Let ϕ : F. // G be a morphism of presheaves on X such that ϕU : F(U). // G(U) is injective for all open sets U ⊂ X.
確定! 回上一頁