Let us consider the category
of Abelian groups
.
Remark.
This is equivalent to the following statement:
An object
is projective if given a short exact sequence
in an Abelian category
,
one has that:
is exact in
As of this snapshot date, this entry was owned by bci1.