定義
C と D を前加法圏(過去スレ019の504)とする。
Func(C, D)(過去スレ018の142)の充満部分圏(過去スレ017の362)で
C から D への加法的関手(過去スレ019の635)全体からなるものを Add(C, D) と書く。