「冪対象」の版間の差分

{{簡易区別|[[トポス]]論における冪対象}}

[[数学]]の特に[[圏論]]における'''指数対象'''（しすうたいしょう、{{lang-en-short|''exponential object''}}）は、[[集合論]]における写像空間（[[配置集合]]）に相当する、圏論における対象である。任意の有限[[積 (圏論)|積]]と指数対象を持つ圏は[[デカルト閉圏]]という。指数対象は'''冪対象'''（べきたいしょう、{{lang-en-short|''power object''}}）や配置対象（''map object''; 写像対象）とも呼ばれる（が、「冪対象」という呼称は、[[トポス論]]において「冪集合」のアナロジーとして本項で言うのとは異なる意味で用いるので注意すべきである）。