Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 44 页 · Chapter II, Section 3
A functor \(S:\mathcal B\times\mathcal C\to\mathcal D\) from a product category is called a bifunctor on \(\mathcal B\) and \(\mathcal C\), or a functor of two variables.