Cartesian closed category

Meaning

Noun

• A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object B^A.

Related

Similar words

• CCC

Narrower meaning words

• bicartesian closed category
• topos

Broader meaning words

• Cartesian monoidal category, Cartesian category
• closed monoidal category
• monoidal category

Origin

• Named after René Descartes (1596–1650), French philosopher, mathematician, and scientist, whose formulation of analytic geometry gave rise to the concept of Cartesian product, which was later generalized to the notion of categorical product.