命題
C を局所的に小さい圏(過去スレ017の343)で積を持つ(過去スレ018の910)とする。
C の対象 X が余分離対象(過去スレ018の219)であるためには
C の任意の対象 Y に対して小さい集合 I があり、
Y が X^I (>>3)の部分対象(過去スレ018の646)であることが必要十分である。

証明
過去スレ018の813より X が余分離対象であるためには
任意の対象 Y に対して (Y, Hom(Y, X)) が単湧き出し(過去スレ018の715)であることが
必要十分である。
よって、>>4より本命題が得られる。
証明終