Definition:Cartesian Closed Category

Definition
Let $\mathbf C$ be a metacategory.

Then $\mathbf C$ is called Cartesian closed iff $\mathbf C$ is a metacategory with finite products and with exponentials.

Also known as
In more in-depth treatments of category theory, Cartesian closed category is often abbreviated to CCC.

Also see

 * Category with Finite Products
 * Category with Exponentials