\begin{definition}[Definition:Cartesian Closed Category]
Let $\mathbf C$ be a metacategory.
Then $\mathbf C$ is called '''Cartesian closed''' {{iff}} $\mathbf C$ is a metacategory with finite products and with exponentials.
\end{definition}