\begin{definition}[Definition:Category with Exponentials]
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'''.
\end{definition}