モノイド圏

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

数学におけるモノイド圏(モノイドけん、: monoidal category; モノイド的圏、モノイダル圏)あるいはテンソル圏(テンソルけん、: tensor category)は、(自然同型の違いを除いて結合的双函手英語版 ⊗: C × CC と、 について(再び自然同型の違いを除いて)左および右単位元となる対象 I を備えた C である。この圏における自然同型は、関連する全ての図式を可換にすることを保証したコヒーレンス条件英語版(一貫性条件、整合条件)に従わなければならない[1]。したがって、モノイド圏は抽象代数におけるモノイドの圏論的な緩い類似物である。

ベクトル空間アーベル群R-加群R-多元環などの間に定義される通常のテンソル積は、それぞれの概念に付随する圏にモノイド構造を与える。ゆえにモノイド圏をこれら、あるいは他の例の一般化として見ることもできる。

圏論において、モノイド圏はモノイド対象の概念とそれに付随する作用を定義する。また、豊穣圏を定義する際にも使われる。

モノイド圏は圏論以外の分野において多数の応用を持つ。直観的線型論理の multiplicative fragment のモデルを定義し、物性物理学においてトポロジカル秩序相の数学的な基盤を与え、組み紐モノイド圏英語版場の量子論ひも理論に応用をもつ。

形式的定義[編集]

モノイド圏 (C, ⊗, I, α, λ, ρ) は、以下に挙げる構造を備える圏 C を言う:

  • テンソル積あるいはモノイド積と呼ばれる双函手 ⊗: C × CC,
  • モノイド単位あるいは単位対象と呼ばれる対象 I,
  • テンソル積が以下の条件を満足するという事実を表す、ある種の整合性条件を満足する三つの自然同型 α および λ, ρ:
    • 結合律: 各三対象 A, B, C に対する成分が同型
      で与えられる、結合子 (associator) と呼ばれる自然同型 α が存在する。
    • 左単位律および右単位律: 成分がそれぞれ
      で与えられ、それぞれ左単位子右単位子 (unitor) と呼ばれるふたつの自然同型 λ, ρ が存在する。

ここで、これらの自然変換に対する整合性条件とは次のようなものである。

  • C の任意の対象 A, B, C, D に対し、図式
    モノイド圏における五角形図式
    は可換である。
  • C の任意の対象 A に対し、図式
    モノイド圏における三角形図式
    は可換である。

自然変換 α, λ, ρ が恒等変換である(すなわち結合律、単位律が同型でなく等号で成立する)ようなモノイド圏は、強モノイド圏、狭義モノイド圏、厳密モノイド圏 (strict monoidal category) などと呼ぶ。任意のモノイド圏は、ある強モノイド圏にモノイド同値である。

[編集]

性質と関連概念[編集]

  • 定義の節に挙げられた三つの図式に関する条件から、そのような(すなわち、射が α, λ, ρ, 恒等射, テンソル積の組合せからなる任意の)図式の成す大きいクラスが可換となることが従うやや不正確だが、そのような図式が「すべて」可換となるともいう)。これをマックレーンコヒーレンス定理英語版という[1]
  • モノイド圏において、抽象代数学における通常のモノイドの概念を一般化する、モノイド対象の一般概念が与えられる。通常のモノイドはちょうど集合の圏 Set におけるモノイド対象である。さらに言えば、任意の厳密モノイド圏は圏の圏 Cat における(圏の直積の定めるモノイド構造に関する)モノイド対象と見なすことができる。
  • モノイド函手英語版とはテンソル積を保つモノイド圏の間の函手を言い、またモノイド自然変換英語版とはそのような(つまりテンソル積と両立する)函手の間の自然変換を言う。
  • 任意のモノイド圏は、ただ一つの対象 □ のみを持つ双圏英語版 B の射対象圏 B(□, □) とみなせる。
  • C がモノイド圏 M豊饒化されているとは、C の対象からなる対の間の射の集合という概念を、C の対象からなる対の間の射の成す M-対象の概念に置き換えるものである。

自由強モノイド圏[編集]

任意の圏 C に対して、C を含む自由強モノイド圏 Σ(C) が次のように構成される。

  • Σ(C) の対象は C の対象の有限列 A1, …, An である。
  • Σ(C) の対象 A1, …, Am から B1, …, Bn への射は、m = n ならば射の列 f1: A1B1, …, fm: AmBm として定義され、かつ定義されるのはその場合に限る。
  • Σ(C) の対象 A1, …, AmB1, …, Bn のテンソル積は列の結合 A1, …, Am, B1, …, Bn であり、同様にふたつの射のテンソル積も射の列の結合によって与えられる。

CΣ(C) に写す作用素 ΣCat 上の強 2-モナドまで拡張することができる。

モノイド圏の特殊化[編集]

関連項目[編集]

[編集]

  1. ^ a b 清水 2014, p. 5.

参考文献[編集]

外部リンク[編集]