冪対象
(指数対象 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/11 14:22 UTC 版)
数学、特に圏論における指数対象（しすうたいしょう、英: exponential object）は、集合論における配置集合に相当する、圏論的な対象である。指数対象は配置対象（map object; 写像対象）や冪対象（べきたいしょう、英: power object）とも呼ばれるが、「冪対象」という呼称は、トポス理論において（本項で言うのとは異なり）、冪集合を一般化した概念を表すために用いられるため文脈に注意すべきである。
- ^ Goldblatt, Robert (1984). “Chapter 3: Arrows instead of epsilon”. Topoi : the categorial analysis of logic. Studies in Logic and the Foundations of Mathematics #98 (Revised ed.). North-Holland. p. 72. ISBN 978-0-444-86711-7
[続きの解説]
- 冪対象のページへのリンク
