Definition 3.4 Now we can define the sheafification functor PShAb → ShAb, F↦→ F#. Proposition 3.5 (Stacks Project tag 00WH) Let F be presheaf ...
確定! 回上一頁