a surjective morphism is called an epimorphism, and ... is, and similarly for the cokernel and surjectivity [4, p. 13]. Proposition 1.19.
確定! 回上一頁