冪対象とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 冪対象の意味・解説 

冪対象

(指数対象 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/11 14:22 UTC 版)

数学、特に圏論における指数対象(しすうたいしょう、: exponential object)は、集合論における配置集合に相当する、圏論的な対象である。指数対象は配置対象(map object; 写像対象)や冪対象(べきたいしょう、: power object)とも呼ばれるが、「冪対象」という呼称は、トポス理論において(本項で言うのとは異なり)、冪集合を一般化した概念を表すために用いられるため文脈に注意すべきである。

任意の有限と指数対象を持つ圏はデカルト閉圏と呼ばれ、理論計算機科学への応用などの観点から重要視されている。

定義

C二項積を持つ圏とし、Y, ZC の対象とする。指数対象 ZY関手 – × Y から Z への普遍射として定義することができる。ここで、 – × YC から C への関手であって対象 XX × Y へ写し、射 φφ × idY へ写すようなものである。

以上の定義は次のようにして述べることもできる。評価射

指数対象の普遍性

可換とするものが一意的に存在するときに言う。ここに現れる射 λggカリー化あるいは転置などという。C の各対象 Z に対して指数対象 ZY が存在するならば、ZZY へ写す関手は、関手 – × Y右随伴となる。この場合、射集合の間の自然な全単射

が取れる。射 gλg は互いに「指数随伴」(exponential adjoints) であるともいう[1]

理論計算機科学における概念との対応

以上の諸概念は、理論計算機科学における計算手続きの抽象化に重要な役割を果たす。データ型 YZ に対し、ZYY の型のデータを入力とし、Z の型のデータを出力とするような計算手続きの型を表していると考えることができる。このとき、eval: ZY × YZ とは個々の計算手続きと入力データに対して出力データを計算する手続きであると解釈することができる。また、射 g: X × YZ に対して λg: XZY を考えるということは、g が表していた複数の入力を取る計算手続きに対してカリー化を行うということに対応している。したがって、g = eval(λg × idY) という等式はカリー化された手続きと元の手続きとの関係を表していることになる。

計算機科学やそれに関係した文脈では、これらの概念を以下のように異なった記号や用語で表すことに注意する必要がある。指数対象は [Y → Z] で表し、λgcurry(g) などによって、また、evalapply(適用)という用語を用いる。これらの記号が用いられた理由はコンピュータスクリーン上の組版の制約のためであったり、ラムダ計算との記号の重複を避けるためであったりということである。

集合の圏における指数対象 ZYY から Z への写像全体の成す集合(配置集合)として与えられる。射 eval: ZY × YZ は、順序対 (f, y)f(y) へ写す評価写像 (evaluation) に他ならない。任意の射 g:X × YZ に対して、射 λg: XZYgカリー化

によって与えられる。

順序圏英語版としてのハイティング代数における指数対象 ZY は相対擬補元 YZ に他ならない。前述の随伴は

と対応する。束論も参照のこと。

位相空間の圏における指数対象 ZYY局所コンパクトハウスドルフ空間であれば存在する。この場合、空間 ZYY から Z への連続写像全体の成す集合にコンパクト開位相を入れたものとして与えられる。評価射に関しては集合の圏のときと同様である。Y が局所コンパクトハウスドルフでないならば、指数対象は存在しない(空間 ZY 自体は存在するのだが、評価射が連続とは限らないために指数対象になれないのである)。このことから、位相空間の圏はデカルト閉でないことが従う。そこで、局所コンパクト位相空間の圏を考えたとしても、ZY が局所コンパクトでも空間 ZY は必ずしも局所コンパクトではないから、やはりデカルト閉圏にはならない。

参考文献

  1. ^ 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 

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「冪対象」の関連用語

冪対象のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



冪対象のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの冪対象 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS