Suppose a : W \to Y is a morphism such that g \circ a = 0. Then we get a commutative diagram ... By Lemma 13.4.5 we see that (b')^2 - b' has square zero.
確定! 回上一頁