コンテンツにスキップ

デカルトモノイド圏

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学の特に圏論と呼ばれる分野において、デカルトモノイド圏(デカルトモノイドけん、: cartesian monoidal category)あるいは短くデカルト圏は、モノイド積(テンソル積)が圏論的(直)積で与えられるモノイド圏を言う。有限積を持つ任意の圏(有限積圏)はデカルトモノイド圏と見なすことができる。任意のデカルトモノイド圏において、終対象がモノイド単位を与える。双対的に、有限余積を持つ圏において余積始対象を単位として成すモノイド構造を考えて余デカルト(モノイド)圏が得られ、やはり任意の有限余積圏が余デカルトモノイド圏と見なせる。

デカルト圏の直積を与える関手が随伴となるHom関手を持つとき、デカルト閉圏という[1]

性質

[編集]

デカルトモノイド圏はいくつも特別で重要な性質を持っている。たとえば対角射 Δx: xxx の存在や、任意の対象 x に対する添加 ex: xI の存在などが挙げられる。計算機科学への応用において Δ を「データの複製」、e をデータ「消去」と見なすことができる。これらの射は任意の対象を余モノイドにする。実は、デカルトモノイド圏の任意の対象は一意的な方法で余モノイド英語版となる。

[編集]

デカルトモノイド圏として以下のようなものが挙げられる:

余デカルトモノイド圏として以下のようなものが挙げられる:

上に挙げた余デカルトモノイド構造を備えた加群の圏の例たちはどれも、有限積と有限余積が一致する(これは有限個の対象が与えられたとき、それらの積と余積とが必ず同型となるという意味において言う)。より精確に述べれば、f: X1 ⊔ ⋯ ⊔ XnX1 × ⋯ × Xn が自然数 n に対する、対象 Xj たちの n-項余積から n-項積への標準入射で、f同型射となるとき、いわゆる対象 Xj たちの双積英語版 X = ⨁n
j=1
Xj
n
j=1
Xj
および n
j=1
Xj
に同型であり、かつ射 ij: XjX および pj: XXj が存在して、組 (X, {ij}) および (X, {pj}) がそれぞれ対象 Xj たちの余積図式および積図式を与え、さらに pjij = idXj を満たす。加えて、考えている圏が零対象を持つとき、任意の対象 A, B に対して、一意な零射 0A,B: A → 0 → B が存在して、pkij = δij が従う。ここで右辺は 0 および 1 をそれぞれ対象 XjXk の間の零射および恒等射と解釈したときのクロネッカーのデルタである。より詳細は前加法圏の項を参照のこと。

関連項目

[編集]

参考文献

[編集]