C を加法圏(>>4)とする。
C における任意の射が核(代数的整数論019の506)と余核(代数的整数論019の506)をもつとき
C を前アーベル圏(preabelian category)と呼んだ(代数的整数論019の512)。