An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 33—34 页 · Definition 2.2.1 and Lemma 2.2.3
An object \(P\) is projective precisely when \(\operatorname{Hom}(P,-)\) is exact; equivalently, maps from \(P\) lift along epimorphisms.