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 en 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. en 2-3-2009 John C. Baez Physics, Topology, Logic and Computation: A Rosetta Stone http://arxiv.org/abs/0903.0340 In any event, Lambek showed that every typed lambda-theory gives a cartesian closed category — and conversely, every cartesian closed category gives a typed lambda-theory. This discovery led to a rich line of research blending category theory and computer science. Mike Stay 54 Synonyms CCC Hypernyms en Cartesian monoidal category, en Cartesian category en closed monoidal category en monoidal category Hyponyms en bicartesian closed category en topos en eponyms