圏論における冪対象

ウィキペディア小見出し辞書

圏論における冪対象

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/14 00:51 UTC 版)

「冪乗」の記事における「圏論における冪対象」の解説

詳細は「デカルト閉圏」を参照 デカルト閉圏において、任意の対象に対して別の任意の対象を冪指数とする冪演算を冪対象によって与えることができる。集合の圏における冪対象は配置集合であるから、これはその一般化になっている。考えている圏に始対象 0 が存在するならば、冪対象 00 は任意の終対象 1 に同型である。