Etymology

Cartesian closed category

Today it means: 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ᴬ. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok

The story

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.

Etymology from Wiktionary, CC BY-SA 4.0.