\begin{definition}[Definition:Exponential (Category Theory)/Evaluation]
Let $\mathbf C$ be a metacategory with binary products.
Let $B$ and $C$ be objects of $\mathbf C$.
Let $C^B$ be an exponential of $C$ by $B$.
The morphism:
:$\epsilon: C^B \times B \to C$
associated to $C^B$ is called the '''evaluation morphism'''.
{{expand}}
Category:Definitions/Category Theory
Category:Definitions/Morphisms
\end{definition}