# Definition:Exponential (Category Theory)/Evaluation

< Definition:Exponential (Category Theory)(Redirected from Definition:Evaluation Morphism)

Jump to navigation
Jump to search
## 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. |