Cartesian closed category

English dictionary entry

Meanings

noun
  1. 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

Cartesian closed category Cartesian closed categories

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

CCC
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.