定義
F：C → D を関手とする。
I をグラフとする。
F が I 型のすべての図式(過去スレ017の833)の余極限を保存する(>>261)とき
F は I 型の余極限を保存すると言う。