Definition:Exponential (Category Theory)/Evaluation

Definition
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.