過去スレ017の822の双対

例
C を圏とする。
S を C の対象とする。
(S↓C) を C における S の下にある対象の圏(過去スレ017の470)とする。

(S↓C) の対象 S → X と S → Y の余積(過去スレ017の837)とは
ファイバー余積 (X＋Y)_S (>>867)に他ならない。