English Dictionary

exponential object

名詞

(category theory) 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.

日本語の意味

（圏論）2つの対象間の射の族を普遍的な方法で索引付けする対象。つまり、同一の2対象間における他のどのような射の族も、一意にこの普遍的な射の族を通じて表現（因数分解）される。

In many cartesian closed categories, the exponential object BA serves as a universal classifier for morphisms from A to B, so any family of arrows from A to B indexed by an object X factors uniquely through the exponential object.

多くのデカルト閉圏では、指数対象 B^A は A から B への射の族を普遍的に索引する分類子として機能し、対象 X によって索引付けされた A→B の任意の射の族はこの指数対象を通して一意に因子分解される。

意味（1）

(category theory) 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 mathbf Set; namely, that of as a function set or internal hom-set.

exponential objects （ plural ）