Cartesian closed category

== English == === Etymology === 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. === Noun === Cartesian closed category (plural Cartesian closed categories) (category theory) 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 BA. ==== Synonyms ==== CCC ==== Hypernyms ==== Cartesian monoidal category, Cartesian category closed monoidal category monoidal category ==== Hyponyms ==== bicartesian closed category topos