定義
(C, U) を圏 A 上の準具象圏(過去スレ019の794)とする。
任意の A-対象 S に対して S 上の自由対象(>>3)が存在するとき
(C, U) は自由対象を持つと言う。