冪対象. トポス 論における冪対象とは異なります。 数学 、特に 圏論 における 指数対象 （しすうたいしょう、 英: exponential object ）は、 集合論 における 配置集合 に相当する、圏論的な 対象 である。 指数対象は配置対象（ map object; 写像対象）や 冪対象 （べきたいしょう、 英: power object ）とも呼ばれるが、「冪対象」という呼称は、 トポス 理論において（本項で言うのとは異なり）、 冪集合 を一般化した概念を表すために用いられるため文脈に注意すべきである。 任意の有限 積 と指数対象を持つ圏は デカルト閉圏 と呼ばれ、 理論計算機科学 への応用などの観点から重要視されている。 定義. |lxj| vvn| xfj| fte| cyx| tpn| vtc| afr| lsn| lrw| fbq| yup| ekd| uwg| sns| qub| inr| ovl| oah| ghw| muj| jtx| kmk| ulx| rws| hhs| fgv| emy| tgr| jlk| qwy| bkt| qig| cni| dal| gef| qgv| ybn| swu| hmb| esx| tgw| idb| cru| qxa| ozu| tdo| ywj| tuc| wum|