Basic Category Theory
《Basic Category Theory》 · 第 164 页 · Definition 6.3.15
A category \(\mathcal A\) is cartesian closed if it has finite products and, for every object \(B\), the functor \(-\times B\) has a right adjoint \((-)^B\).