定義
C を小さいアーベル圏とし、Ab をアーベル群の圏とする。
単関手(>>435)全体からなるAdd(C, Ab)(>>413)の充満な部分圏を M(C, Ab) と書く。