论文部分内容阅读
在Abelian范畴中,如果f:A→B和g:B→C是两个态射,则存在(1)Imf∩ Ker g-f(Ker gf);(2)Im f+ Ker g=g-1(Im g f).虽然在拉回正合范畴(み, ξ)中一般没有像的概念,但也有与(1)(2)性质相类似的结论,这就是Ker f>→Ker gf>→ Ker g×BCoimf和Ker g >→ Ker gЦD Coim f>→Coim gf均为ε-短正合列,其中D=Ker g×BCoim gf.