命題
C を圏とする。
E を C の引き込み(過去スレ018の328)だけからなるある類(過去スレ017の323)とする。
このとき C の任意の対象は E-射影的である。

証明
X を C の任意の対象とする。
e：Y → Z を E-射で f：X → Z を C-射とする。
e は引き込みだから g：Z → Y で eg = 1_Z となるものがある。
f = egf であるから X は E-射影的である。
証明終