cartesian closed category

Let \(\mathcal{C}\) be a category. Then \(\mathcal{C}\) is said to be cartesian closed, if

1. there exists a terminal object
2. there exists finite products
3. for objects \(X,Y \in \mathrm{Ob}(\mathcal{C})\), there exists an exponential object, (resp. the product \(- \times C\) is a left adjoint)