有限積を持つ(>>3)前加法圏(過去スレpart2の589)を加法圏(additive category)と言った
(代数的整数論019の510)。