命題
C を圏とする。
E を C の射からなる類(過去スレ017の323)とする。
P を C における E-射影的対象(>>61)とする。
s：X → P を断面(過去スレ018の430)とする。
このとき X は E-射影的対象である。

証明
>>25の双対である。