An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 38 页 · Section 2.3
An abelian category has enough injectives if for every object \(A\) there is a monomorphism \(A\hookrightarrow I\) with \(I\) injective.