we define the cokernel of ϕ as the sheafification coker(ϕ) = (cokerpre(ϕ))sh ... map [(U,[g])] ↦→ [[(U, g)]] is well-defined and surjective.
確定! 回上一頁