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