Definition:Cartesian Closed Category

From ProofWiki
Jump to navigation Jump to search


Let $\mathbf C$ be a metacategory.

Then $\mathbf C$ is called Cartesian closed if and only if $\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

Source of Name

This entry was named for René Descartes.