命題
(C, U) を具象圏(過去スレ019の794)とする。
Set を集合の圏とする。
* を１個の元からなる Set の対象とする。
C-対象 X が * 上の自由対象(>>3)であるためには
U が X で表現可能(過去スレ017の729)であることが必要十分である。

証明
>>7より明らかである。