An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 425 页 · Appendix A.4
A sequence \(A\xrightarrow f B\xrightarrow g C\) in an abelian category is exact at \(B\) if \(\ker g=\operatorname{im}f\).