Definition:Category with Exponentials

Definition
Let $\mathbf C$ be a metacategory with binary products. Suppose $\mathbf C$ has an exponential $C^B$ for all objects $B$ and $C$ of $\mathbf C$.

Then $\mathbf C$ is called a category with exponentials.

Also see

 * Exponential (Category Theory)
 * Cartesian Closed Category