最終更新日：2025/11/23
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.
正解を見る
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.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
多くのデカルト閉圏では、指数対象 B^A は A から B への射の族を普遍的に索引する分類子として機能し、対象 X によって索引付けされた A→B の任意の射の族はこの指数対象を通して一意に因子分解される。
