命題
C をアーベル圏とする。
C の対象 P が射影的(>>769)であるためには
関手 Hom(P, -) が完全(>>661)であることが必要十分である。

証明
>>762と双対原理(>>548)