定義
F：C → D を関手とする。
W：I → C を図式(過去スレ017の833)とする。
(f_i：W(i) → L)_Ob(I) を W の余極限(過去スレ018の847)とする。

(F(f_i)：F(W(I)) → F(L))_Ob(I) が 図式 FW：I → D の余極限であるとき
F は図式 W の余極限を保存すると言う。
この事実を F(colim W) = colim FW とも書く。