定義
F：C → D を関手とする。
F がすべての小さい離散グラフ(過去スレ017の745) I に対して
I 型の余極限を保存する(>>262)とき、F は余積を保存すると言う。