Word Pronunciation & Dictionary

cartesian closed category

Word Rarity Rare

Frequency: Zipf frequency 2.76 in modern English

Syllables: carte-sian -closed -cat-e-go-ry
IPA

34

Scrabble Score

23

Letters

7

Syllables

13

Unique Chars

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ᴬ.

Example Sentences

"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."

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.

Inflected Forms

Cartesian closed categories (plural)

Synonyms

CCC

Questions

What does cartesian closed category mean?: 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ᴬ.
Where does cartesian closed category come from?: 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.

How to pronounce cartesian closed category

Open the pronunciation page — Open the Speakur entry for “cartesian closed category”.
Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
Play the audio — Click Play to hear reference audio for “cartesian closed category”.
Repeat and practice — Say “cartesian closed category” aloud, matching stress and vowels until it feels natural.