Cartesian closed category is roughly speaking the one where Product is the left Adjoint functor. It's oversimplified and not complete definition, but sufficient in order to use it.