Definition:Exponential (Category Theory)/Evaluation

From ProofWiki
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.



Sources