Cartesian closed category
Meanings
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ᴬ.
Word forms
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.
Synonyms
Previous
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.