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

 * Definition:Exponential (Category Theory)
 * Definition:Cartesian Closed Category