This is also fully faithful and essentially surjective. ... The sheaf cokernel is the sheafification of the presheaf cokernel U ↦→ Coker(F(U) → G(U)), ...
確定! 回上一頁