Cartesian Closed Category

A category $\mathcal{C}$ is cartesian closed if,

1. $(\mathcal{C},1,\otimes )$ is a monoidal category, for some $1,\otimes$ .
2. $1$ is a terminal object.
3. The category has internal hom objects. 1 gives us a monoidal category, 1+2 gives us a cartesian category, 1+3 gives us a closed category, and 1+2+3 gives a cartesian closed category