Definition:Cartesian Closed Category
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.
Source of Name
This entry was named for René Descartes.
- 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 6.2$: Definition $6.2$