essentially surjective functor followed by a full and faithful one, as ... Proof: 1) F is a cokernel, so it is essentially surjective by point 3) of propo-.
確定! 回上一頁