モノイダル圏に関する基本的な性質2つ

圏論

941

普段からモノイダル圏が前提の世界に生きていると基本的な命題すら証明できなくて焦ることになります（なりました）。備えておきましょう。

図式のレイアウトなどについて、本稿はこの命題を初めて証明したMax Kellyの論文[1]に大いに基づいて構成されています。

定義

モノイダル圏

モノイダル圏 $⟨ C, \otimes, I, α, λ, ρ ⟩$ とは、

圏 $C$
関手 $\otimes : C \times C ⟶ C$
単位対象 $I \in C$
$A, B, C \in C$ について自然な同型
$α_{A, B, C} : A \otimes (B \otimes C) \tilde{\to} (A \otimes B) \otimes C$
$A \in C$ について自然な同型 $λ_{A} : I \otimes A \tilde{\to} A,$ $ρ_{A} : A \otimes I \tilde{\to} A$

の組で、次の2つの図式を可換にするもの。
$A \otimes (B \otimes (C \otimes D)) A \otimes α_{B, C, D} α_{A, B, C \otimes D} A \otimes ((B \otimes C) \otimes D) α_{A, B \otimes C, D} (A \otimes B) \otimes (C \otimes D) α_{A \otimes B, C, D} (A \otimes (B \otimes C)) \otimes D α_{A, B, C} \otimes D ((A \otimes B) \otimes C) \otimes D$
$A \otimes (I \otimes B) α_{A, I, B} A \otimes λ_{B} (A \otimes I) \otimes B ρ_{A} \otimes B A \otimes B$

本題

モノイダル圏 $⟨ C, \otimes, I, α, λ, ρ ⟩$ および任意の $X, Y \in C$ について、以下の図式は可換。
$I \otimes (X \otimes Y) α_{I, X, Y} λ_{X \otimes Y} (I \otimes X) \otimes Y λ_{X} \otimes Y X \otimes Y$

次の図式を考える。このうち、 $?$ が記された三角形が可換であることを示せば、 $λ$ が自然な同型であることから命題が従う。
$I \otimes (I \otimes (X \otimes Y)) I \otimes α_{I, X, Y} I \otimes λ_{X, Y} α_{I, I, X \otimes Y} I \otimes ((I \otimes X) \otimes Y) I \otimes (λ_{X} \otimes Y) α_{I, I \otimes X, Y} ? I \otimes (X \otimes Y) α_{I, X, Y} (I \otimes I) \otimes (X \otimes Y) ρ_{I} \otimes (X \otimes Y) α_{I \otimes I, X, Y} (I \otimes X) \otimes Y ((I \otimes I) \otimes X) \otimes Y (ρ_{I} \otimes X) \otimes Y (I \otimes (I \otimes X)) \otimes Y α_{I, I, X} \otimes Y (I \otimes λ_{X}) \otimes Y$
$?$ の書かれていない部分について、2つの三角形はモノイダル圏の公理から可換、2つの四角形は $ρ$ および $α$ の自然性から可換となる。また、外側の四角形は五角図式であるためモノイダル圏の公理から可換。

従って $?$ の三角形も可換であり、 $λ_{X} \otimes Y \circ α_{I, X, Y} = λ_{X \otimes Y}$ が成り立つ。 $◼$

命題1

モノイダル圏 $⟨ C, \otimes, I, α, λ, ρ ⟩$ および任意の $X, Y \in C$ について、以下の図式は可換。
$X \otimes (Y \otimes I) α_{X, Y, I} X \otimes ρ_{Y} (X \otimes Y) \otimes I ρ_{X \otimes Y} X \otimes Y$

先ほどの図式の左右を全て入れ替えればよい。

モノイダル圏 $⟨ C, \otimes, I, α, λ, ρ ⟩$ について、 $λ_{I} = ρ_{I}$ 。

$λ$ の自然性から次の図式は可換である：
$I \otimes (I \otimes I) λ_{I \otimes I} I \otimes λ_{I} I \otimes I λ_{I} I \otimes I λ_{I} I$
ここで、 $λ$ が自然同型であることから $λ_{I \otimes I} = I \otimes λ_{I}$ 。
次に、命題１およびモノイダル圏の公理から次の2つの図式が可換となる。
$I \otimes (I \otimes I) α_{I, I, I} λ_{I \otimes I} (I \otimes I) \otimes I λ_{I} \otimes I I \otimes (I \otimes I) α_{I, I, I} I \otimes λ_{I} (I \otimes I) \otimes I ρ_{I} \otimes I I I$
$α$ は同型であり、かつ $λ_{I \otimes I} = I \otimes λ_{I}$ であったので、2つの図式は同一であり $λ_{I} \otimes I = ρ_{I} \otimes I$ 、従って $λ_{I} = ρ_{I}$ 。 $◼$

あとがき

モノイダル圏などにはコヒーレンス定理が成り立つので、モノイダル圏が前提の世界では本稿に書かれていたたくさんの括弧はすべてないものとして扱ってよい（どの順番で計算しようがすべて同値）のですが、本稿の2つの性質はそのコヒーレンス定理の証明にも使われるほど基本中の基本となる性質です。備えておきましょう（自戒）。