An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 38—40 页 · Definition 2.3.1 and Lemma 2.3.4
An object \(I\) is injective precisely when \(\operatorname{Hom}(-,I)\) is exact; equivalently, maps into \(I\) extend along monomorphisms.