加法范畴的推出范畴

在范畴C中以推出为对象,推出态射为态射构成推出范畴C^□．本文了给出了范畴C^□中的三角可换定理,并得到了C^□中上积存在的条件,进一步还证明了加法范畴的推出范畴仍为加法范畴．     

推出范畴的上核

讨论推出与推出之间的关系,定义了推出态射,在此基础上建立了推出范畴影l^＊．影l是以范畴留中的推出为对象,推出态射为态射构成的范畴．并进一步证明了推出范畴中上核存在的条件．     

除环上分块矩阵的秩

除环上有零对象的矩阵范畴是Abel范畴,在这个范畴中,解齐次线性方程组(A,B)X=0(或者X [AB]=0)与求态射{A,B}的推出(或者求态射{A,B}的拉回)有着密切的关系.讨论除环上齐次线性方程组(A,B)X=0和X [AB]=0;研究除环上有关分块矩阵之间的关系,得到了一些关于分块矩阵与其中子矩阵的秩的有关公式.