定義
(C, U) を圏 A 上の準具象圏(過去スレ019の794)とする。
S を A-対象とする。
f：S → |X| を普遍射(過去スレ019の861)とする。
このとき X を S 上の自由対象(free object over S)と呼ぶ。