Cartesian closed categories
Cartesian closed categories is the plural of Cartesian closed category.
Meaning of Cartesian closed category
Noun
Cartesian closed category (plural Cartesian closed categories)
- 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ᴬ.
- 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.2009 February 3, John C. Baez with Mike Stay, Physics, Topology, Logic and Computation: A Rosetta Stone, page 54
- Synonyms:
- CCC
Questions about Cartesian closed categories
- What is Cartesian closed categories the plural of?
- Cartesian closed categories is the plural of Cartesian closed category.
Words near Cartesian closed categories in the dictionary
Source and license
Adapted from Wiktionary: Cartesian closed categories (page history and authors); Cartesian closed category (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “Cartesian closed categories.” Word.ws, https://word.ws/cartesian_closed_categories. Based on Wiktionary, CC BY-SA 4.0.