摘要

证明了在Abel范畴中几个有趣的正合交换图命题,并应用其思想得到了Abel范畴的同态定理、短四引理和单满同态分解定理,统一了环模、BCK-代数、交换群层和粗糙模范畴的相关结果.