An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 422 页 · Appendix A.2
A concrete category is a category \(\mathcal C\) equipped with a faithful functor \(\mathcal C\to\mathbf{Set}\); its morphisms are determined by their effect on underlying sets.