exponential object

名词 n.

英文释义

名词 n.
  1. An object which indexes a family of arrows between two given objects in a universal way, meaning that any other indexed family of arrows between the same given pair of objects must factor uniquely through this universally-indexed family of arrows.
    — An exponential object generalizes its interpretation in category #92;mathbf#123;Set#125;; namely, that of as a function set or internal hom-set.

词形变化

0 次浏览 数据来源: Wiktionary