定義
C を前アーベル圏(>>512)とする。
C における任意の単射が正則単射(過去スレ018の456)であり、
C における任意の全射が正則全射(過去スレ018の558)のとき
C をアーベル圏(abelian category)と呼ぶ。