Wiki. “投射对象” [投射对象]

定义

在一个范畴中, 称对象 $P$ 为投射对象是指 $\operatorname{Hom}(P,-)$ 保持满射, 也即 $P$ 具有关于满射的左提升性质, 即对任意满射 $A\twoheadrightarrow B$, 态射 $P\to B$ 可提升为 $P\to A$.

在 Abel 范畴中, 对象 $P$ 为投射对象当且仅当 $\operatorname{Hom}(P,-)$ 正合.

称范畴 $\mathcal C$ 有足够多投射对象是指每个对象都有来自投射对象的满射.

例

选择公理等价于集合范畴的每个对象都是投射对象.

$\mathsf{Ab}$ 中的投射对象为自由群.

对于交换环 $R$, $R\mathsf{Mod}$ 中的投射对象为自由模的直和项.