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.

This article is complete as far as it goes, but it could do with expansion. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.