T : E → F is a cokernel iff it is surjective and completely open. This illustrates clearly why the additive category OMod∞. A is not abelian.
確定! 回上一頁