命題 642
C を（大きい）前加法圏（過去スレpart2の589）とし、
D を（大きい）アーベル圏（代数的整数論019の533）とする。
このとき Add(C, D)（過去スレpart2の605）は広義のアーベル圏(>>751)である。

証明
代数的整数論020の414と同様である。