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 B^A 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.

Google翻訳 / DeepL翻訳

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

詳細

意味（1）