令(A,ε)是一个正合范畴,χ是A的一个子范畴.令εχ= {0 → A → B →C → 0(*)正合|对(?)X ∈χ,Hom(X,-)保持(*)正合}.本文第二......