An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 431 页 · A.6.3
A subcategory \(\mathcal B\) of \(\mathcal A\) is reflective if the inclusion functor \(\mathcal B\hookrightarrow\mathcal A\) has a left adjoint.