アーベル圏
アーベル圏では Ab と同様に完全系列や射影的分解が定義される。
アーベル群全体からなる圏 Ab はアーベル圏である。
環 R をひとつ固定し、左 R-加群全体からなる圏 R-Mod はアーベル圏である。