An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 33 页 · Section 2.2
An abelian category has enough projectives if for every object \(A\) there is an epimorphism \(P\twoheadrightarrow A\) with \(P\) projective.