Cartesian closed category

短语

词形变化

Cartesian closed categories 复数 Cartesian closed categories

释义与例句

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

    计算机 工程 数学

词源

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.

来源:wiktionary