Contextualizebeta

Cartesian closed category

noun

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.

  1. derived from philosopher

Definitions

  1. A category which has a terminal object and which for every two objects A and B has a…

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

The neighborhood

Vish — recursive loop

No curated loop yet for Cartesian closed category. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA