Cartesian closed category
Hello, you have come here looking for the meaning of the word Cartesian closed category. In DICTIOUS you will not only get to know all the dictionary meanings for the word Cartesian closed category, but we will also tell you about its etymology, its characteristics and you will know how to say Cartesian closed category in singular and plural. Everything you need to know about the word Cartesian closed category you have here. The definition of the word Cartesian closed category will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofCartesian closed category, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
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.
- 2009 March 2, John C. Baez with Mike Stay, Physics, Topology, Logic and Computation: A Rosetta Stone, page 54:
- 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.