A category that has a Terminal object, binary Categorical products and Categorical exponentials is called a cartesian closed category (CCC)

See here