Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 38 页 · Chapter II, Section 3
For a locally small category \(\mathcal C\), the hom-sets define a bifunctor \(\operatorname{Hom}:\mathcal C^{\mathrm{op}}\times\mathcal C\to\mathbf{Set}\).