Definition:Category with Exponentials

Definition

Let $\mathbf C$ be a metacategory with binary products.

Suppose $\mathbf C$ has an exponential $C^B$ for all objects $B$ and $C$ of $\mathbf C$.

Then $\mathbf C$ is called a category with exponentials.

Also see

• Exponential (Category Theory)
• Cartesian Closed Category