A category $\mathscr{A}$ is cartesian closed if it has finite products and for each $B \in \mathscr{A}$, the functor $- \times B{\colon}\linebreak[0] \mathscr{A} \to \mathscr{A}$ has a right adjoint.