冪対象

数学、特に圏論における指数対象（しすうたいしょう、英: exponential object）は、集合論における配置集合に相当する、圏論的な対象である。指数対象は配置対象（map object; 写像対象）や冪対象（べきたいしょう、英: power object）とも呼ばれるが、「冪対象」という呼称は、トポス理論において（本項で言うのとは異なり）、冪集合を一般化した概念を表すために用いられるため文脈に注意すべきである。 任意の有限積と指数対象を持つ圏はデカルト閉圏と呼ばれ、理論計算機科学への応用などの観点から重要視されている。