定義
(C, U) を圏 A 上の準具象圏(過去スレ019の794)とする。
M を C の商射(過去スレ019の834)全体からなる類(過去スレ017の323)とする。
M-射影的対象(>>61)を射影的対象(projective object)と呼ぶ。