定義
C を圏とする。
E を C の射からなる類(過去スレ017の323)とする。
E に属す射を E-射と言う。
C の任意の対象 X に対して E-射影的対象(>>61) P と
E-射 e：P → X があるとき C は十分多くの E-射影的対象を持つと言う。