定義
(C, U) を圏 A 上の準具象圏(過去スレ019の794)とする。
C の対象 X は次の条件 (*) を満たすとき単射的対象(injective object)と呼ぶ。

(*) 任意の埋め込み(過去スレ019の816) m：Y → Z と任意のC-射 f：Y → X に対して
　　C-射 g：Z → X で f = gm となるものが存在する。