Cartesian closed category

名词 n.
中文释义

英文释义

名词 n.
  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ᴬ.
    — 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.

词形变化

Cartesian closed categories plural

词源

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.
0 次浏览 数据来源: Wiktionary