1

【ストリング図で学ぶ圏論 #3】垂直合成と水平合成

255
0
$$\newcommand{Ab}[0]{\mathbf{Ab}} \newcommand{b}[0]{\bullet} \newcommand{bM}[0]{\mathbf{M}} \newcommand{braket}[1]{\langle#1\rangle} \newcommand{bV}[0]{\mathbf{V}} \newcommand{bW}[0]{\mathbf{W}} \newcommand{c}[0]{\circ} \newcommand{Cat}[0]{\mathbf{Cat}} \newcommand{cC}[0]{\mathcal{C}} \newcommand{cD}[0]{\mathcal{D}} \newcommand{cE}[0]{\mathcal{E}} \newcommand{cF}[0]{\mathcal{F}} \newcommand{cM}[0]{\mathcal{M}} \newcommand{CMon}[0]{\mathbf{CMon}} \newcommand{cN}[0]{\mathcal{N}} \newcommand{cod}[0]{\mathrm{cod}} \newcommand{Complex}[0]{\mathbb{C}} \newcommand{cOne}[0]{\mathbf{1}} \newcommand{cX}[0]{\mathcal{X}} \newcommand{dom}[0]{\mathrm{dom}} \newcommand{Endash}[0]{\textendash} \newcommand{FinVecK}[0]{\mathbf{FinVec}_\mathbb{K}} \newcommand{Mon}[0]{\mathbf{Mon}} \newcommand{mor}[0]{\mathop{\mathrm{mor}}} \newcommand{Natural}[0]{\mathbb{N}} \newcommand{nto}[0]{\Rightarrow} \newcommand{ob}[0]{\mathop{\mathrm{ob}}} \newcommand{ot}[0]{\otimes} \newcommand{Real}[0]{\mathbb{R}} \newcommand{Set}[0]{\mathbf{Set}} \newcommand{V}[0]{\mathbf{V}} \newcommand{VecK}[0]{\mathbf{Vec}_\mathbb{K}} \newcommand{W}[0]{\mathbf{W}} $$

はじめに

今回の記事では,関手や自然変換の合成として,垂直合成と水平合成の2種類を説明します。また,これまでに登場したすべての合成がこれらの特別な場合とみなせることを述べます。図式では,これらの合成を,単に線やブロックをつなげることで表せます。

本連載の目次

#1: 圏の定義と具体例
#2: 関手と自然変換
#3: 垂直合成と水平合成(この記事)
#4: モノイダル圏
#5: モナドとは自己関手の圏におけるモノイド対象のこと

垂直合成

まず,射としての合成である,垂直合成について説明します。

自然変換の垂直合成

2個の自然変換$\alpha \colon F \nto G$$\beta \colon G \nto H$を任意に選びます($F,G,H \colon \cC \to \cD$も任意です)。これらの各成分$\alpha_a \in \cD(Fa,Ga)$$\beta_a \in \cD(Ga,Ha)$$\cD$の射として合成できますので,合成により得られる(添字付けられた)射の集まり

$$ \beta\alpha \coloneqq \{ (\beta\alpha)_a \coloneqq \beta_a \alpha_a \}_{a \in \cC} $$

が考えられます。この集まりを,次の図式で表すことにします。

垂直合成!FORMULA[7][-393708998][0] 垂直合成$\beta\alpha$

この左辺が$\beta\alpha$を表しており,右辺の$\{~\}$内の式が$(\beta\alpha)_a \coloneqq \beta_a \alpha_a$を表しています。なお,破線を用いて$(\beta\alpha)_a$$\beta_a \alpha_a$を表す図式を区別していますが,この定義によりこれらは等しいため,破線は単なる補助線と考えて削除しても問題ありません。

補足:
この記事では,同様の破線が何度か登場します。これらの破線は単なる補助線と考えて削除できることが,後でわかります。

$\beta\alpha$は自然変換であること,つまり自然性

$$ Hf \c (\beta\alpha)_a = (\beta\alpha)_b \c Ff \qquad (\forall f \in \cC(a,b)) $$

を満たすことは,次式からわかります。

!FORMULA[15][-393708998][0]の自然性の証明 $\beta\alpha$の自然性の証明

ただし,左側および右側の等号ではそれぞれ$\beta$および$\alpha$の自然性を用いています。直観的には,この証明では単に3個のブロック$f$$\beta$$\alpha$を線に沿って動かしているだけだと解釈できます。自然変換$\beta\alpha$を,$\alpha$$\beta$垂直合成のようによびます。このように,図式では垂直合成を「縦方向の接続」により表します。

水平合成

次に,写像としての合成である水平合成について説明します。

関手同士の水平合成

まず,任意の$F \colon \cC \to \cD, ~G \colon \cD \to \cE$に対して,次の写像が考えられます。

$$ \mor \cC \ni f \quad\xmapsto{F}\quad F f \quad\xmapsto{G}\quad G(Ff) \in \mor \cE $$

この$\xmapsto{F}$および$\xmapsto{G}$は,それぞれ$F$および$G$の射への作用です。この写像を射への作用とするような$\cC$から$\cE$への関手が考えられ,この関手を$G \b F$と書きます($G \b F$が関手であることはすぐに示せます)。また,この合成は$G$$F$水平合成(または合成)とよばれます。$G \b F$を次の図式で表すことにします。

!FORMULA[37][-2091036229][0] $G \b F$

直観的には,線$G \b F$は右辺のように並列に並んだ2本の線$G$$F$を横方向に移動させて重ねたものだと解釈できます。このように,図式では水平合成を「横方向に並べること」で表します。

自然変換同士の水平合成

2個の自然変換$\alpha \colon F \nto F'$(ただし$F,F' \colon \cC \to \cD$)と$\beta \colon G \nto G'$(ただし$G,G' \colon \cD \to \cE$)を任意に選びます。このとき,各対象$a \in \cC$に対して$\alpha_a$$\cD$の射ですので,これを$\beta$の射への作用で写した射$\beta \b \alpha_a$が考えられます。 前回の記事 で述べた自然変換の射への作用の定義より,この射$\beta \b \alpha_a$は次のように表されます。

射!FORMULA[51][-1804623586][0] $\beta \b \alpha_a$

直観的には,この図式は単にブロック$\beta$$\alpha$を線に沿って動かしているだけといえます。ここで,次の射の集まり

$$ \beta \b \alpha \coloneqq \{ \beta \b \alpha_a \}_{a \in \cC} $$

を考えます。これは,次の写像を考えていることと本質的に同じです。

$$ \ob \cC \ni a \quad\xmapsto{\alpha}\quad \alpha_a \quad\xmapsto{\beta}\quad \beta \b \alpha_a \in \mor \cE $$

ただし,$\xmapsto{\alpha}$$\alpha$の対象への作用を表しており,$\xmapsto{\beta}$$\beta$の射への作用を表しています。このとき,$\beta \b \alpha$$G \b F$から$G' \b F'$への自然変換です。このことを示すためには,自然性を満たす,つまり

$$ (G' \b F')f \c (\beta\alpha)_a = (\beta\alpha)_b \c (G \b F)f \qquad (\forall f \in \cC(a,b)) $$

を満たすことを示せば十分ですが,これは次式からわかります。

!FORMULA[64][-1137072192][0]の自然性 $\beta \b \alpha$の自然性 $$\tag{1}\label{eq:beta_alpha_f}$$

ただし,2番目および3番目の等号では,それぞれ$\alpha$および$\beta$の自然性を用いました。念のためていねいに式変形していますが,直観的には3個のブロック$f$$\beta$$\alpha$を単に線に沿って動かしているだけだと解釈できます。

$\beta \b \alpha$を,次の左側または右側の図式で表すことにします。

画像の名前 画像の名前

この$\beta \b \alpha$$\beta$$\alpha$水平合成とよびます。なお,$\beta \b \alpha$の射への作用は,次の写像です。

$$ \mor \cC \ni f \quad\xmapsto{\alpha}\quad \alpha \b f \quad\xmapsto{\beta}\quad \beta \b (\alpha \b f) \in \mor \cE $$

この$\xmapsto{\alpha}$および$\xmapsto{\beta}$はそれぞれ$\alpha$および$\beta$の射への作用です。$\beta \b (\alpha \b f)$は式\eqref{eq:beta_alpha_f}の1番左側の式で表されます。

補足:
$\beta \b \alpha$を「$\beta$$\alpha$の水平合成」ではなく「$\alpha$$\beta$の水平合成」とよぶこともありますが,どちらであるかは文脈からわかると思います。$G \b F$についても同様です。

関手と自然変換の水平合成

恒等自然変換$1_G$と自然変換$\alpha$の水平合成$1_G \b \alpha$$G \b \alpha$と書きます。これを,関手$G$と自然変換$\alpha$の水平合成とみなします(直観的には,恒等自然変換$1_G$は関手$G$のようなものといえます)。

同様に,自然変換$\beta$と恒等自然変換$1_F$の水平合成$\beta \b 1_F$$\beta \b F$と書きます。これを,自然変換$\beta$と関手$F$の水平合成とみなします。

これらは,次のような図式で表されます。

!FORMULA[102][-2140231963][0]と!FORMULA[103][-211422208][0] $G \b \alpha$$\beta \b F$

垂直合成と水平合成

これまでに登場した合成はすべて垂直合成・水平合成とみなせる

前回の記事 で触れたように,任意の対象は関手とみなせて,任意の射は自然変換とみなせるのでした。このようにみなせば,これまでに述べてきた合成は,すべて今回の記事で述べた垂直合成または水平合成として捉えられます。「図式において線で表されているもの(つまり対象と関手)はすべて関手とみなせて,ブロックで表されているもの(つまり射と自然変換)はすべて自然変換とみなせる」と考えるとわかりやすいと思います。

具体的に述べます。まず,圏$\cC$の2本の射$f \colon a \to b$$g \colon b \to c$は,次のように合成できるのでした。

射の合成!FORMULA[107][1174657][0] 射の合成$gf$

一方,これらの射$f,g$は自然変換とみなせます。このようにみなすと,この合成は自然変換$f,g$の垂直合成にほかなりません。

次に,関手$F \colon \cC \to \cD$について考えます。$F$$\cC$の対象$a$と射$f$をそれぞれ$\cD$の対象$Fa$と射$Ff$に写し,これらを次の図式で表すのでした。

!FORMULA[118][1142789][0]と!FORMULA[119][1142944][0] $Fa$$Ff$

一方,対象$a$は関手とみなせて射$f$は自然変換とみなせます。このとき,$Fa$は2個の関手$F,a$の水平合成$F \b a$とみなせます。また,$Ff$は関手$F$と自然変換$f$の水平合成とみなせます。

自然変換$\alpha \colon F \nto G$(ただし$F,G \colon \cC \to \cD$)についても同様です。$\alpha$$\cC$の対象$a$と射$f$をそれぞれ$\cD$の射$\alpha_a$と射$\alpha \b f$に写し,これらを次の図式で表すのでした。

!FORMULA[137][358917916][0]と!FORMULA[138][543662686][0] $\alpha_a$$\alpha \b f$

対象$a$を関手とみなして射$f$を自然変換とみなすと,$\alpha_a$は自然変換$\alpha$と関手$a$の水平合成$\alpha \b a$とみなせて,$\alpha \b f$は自然変換$\alpha,f$の水平合成とみなせます。

このように,これまでに登場した合成はすべて垂直合成または水平合成として統一的に扱えます。

垂直合成と水平合成が混在したときの規則

垂直合成と水平合成が混在すると何が起こるでしょうか?たとえば

!FORMULA[147][-2124867564][0] $(\beta' \c \beta) \b (\alpha' \c \alpha) = (\beta' \b \alpha') \c (\beta \b \alpha)$ $$\tag{1}\label{eq:1}$$

のように,「垂直合成してから水平合成した結果」と「水平合成してから垂直合成した結果」は等しくなるでしょうか?(なお,図式から$F,F',F'' \colon \cC \to \cD$$\alpha \colon F \nto F'$などがわかります)。より複雑な合成ではどうなるでしょうか?

実は,複数の自然変換を垂直合成と水平合成により合成して得られる自然変換は,その合成の順序によらないことを示せます(証明は割愛します)。このため,たとえば上記の式の補助線を消してもこれらは等しいため問題ありません。それぞれの自然変換は線に沿って縦方向に自由に移動できますので,たとえば次式が成り立ちます。

自然変換!FORMULA[151][-1525277043][0]の合成により得られる自然変換 自然変換$\alpha,\beta,\gamma,\delta$の合成により得られる自然変換 $$\tag{2}\label{eq:abcd}$$

ただし,この式に現れる自然変換$\alpha,\beta,\gamma,\delta$(と関手)は任意です。なお,この左辺では4個の自然変換$\alpha,\beta,\gamma,\delta$と3個の関手$F'',G',H$との垂直合成や水平合成により構成されていることがわかるように,補助線(破線)を描いています。数式で表すと

$$ (\alpha \b F'') \c (\beta \b G' \b \gamma) \c (H \b \delta) = (\alpha \b \gamma) \c (\beta \b \delta) $$ $$\tag{3}\label{eq:abcd_formula}$$

です。この式のように複雑な図式が現れたら,適切に破線を引くことで小さな単位に分解して考えれば,自然変換がどのように合成されているかがわかります。

図式で表すことのメリット

図式\eqref{eq:abcd}と数式\eqref{eq:abcd_formula}とを比べてみてください。多くの人にとって,図式のほうがわかりやすいと感じるのではないでしょうか?今回の例では,主な理由として以下の二つが挙げられそうです。

  1. 多くの情報を素直に埋め込める:たとえば図式では,$\beta$$H$から$H'$への自然変換であることがわかります。なお,数式でこれらの情報を付与することもできますが,煩雑になります。
  2. 2次元的に表せる:数式では横一列で(1次元的に)表すことになるため,「縦方向と横方向にどのようにつながっているか」を即座には理解しにくいと思います。これに対し,図式では2次元的に表せるため,この問題が解消されます。このため,数式\eqref{eq:abcd_formula}では等号がなぜ成り立つのかがわかりにくいのに対し,図式\eqref{eq:abcd}の等号が成り立つことは自明に思えると思います。

このように,少し複雑な式においては,数式よりも図式のほうがわかりやすいことが少なからずあります。

補足:
標準的な圏論の教科書などでよく見かける可換図式のような図式と比べても,ストリング図にはいくつかのメリットがあります。この話は,機会があればするかもしれません。

関手圏$\cD^\cC$

最後に,関手圏についても紹介しておきます。これまでに述べたように,任意の対象は関手とみなせて任意の射は自然変換とみなせます。実は,この逆も成り立ちます。具体的には,これから説明する関手圏を考えれば,任意の関手は対象とみなせて任意の自然変換は射とみなせます。

任意の圏$\cC,\cD$に対して,次のような圏を関手圏とよび,$\cD^\cC$と書きます。

  • 対象は,$\cC$から$\cD$への関手である。
  • 対象(つまり関手)$F \colon \cC \to \cD$から対象(つまり関手)$G \colon \cC \to \cD$への射は,$F$から$G$への自然変換である。
  • 射の合成は自然変換の垂直合成であり,恒等射は恒等自然変換である。

このように,関手圏では関手を対象として自然変換を射とします。自然変換の垂直合成の定義から,自然変換$\alpha \colon F \nto G$と恒等自然変換$1_F,1_G$について,$\alpha 1_F = \alpha = 1_G \alpha$,つまり

単位律 単位律

が成り立つことがすぐにわかります。ただし,恒等自然変換を破線のブロックで表しています(この破線は単なる補助線とみなせて,省略しても問題ありません)。この式は,関手圏$\cD^\cC$における単位律にほかなりません。$\cD^\cC$が結合律も満たし,したがって$\cD^\cC$が圏であることが容易にわかります(証明は割愛します)。なお,$\cD^\cC$の射(つまり自然変換)が同型射であることは,自然同型であることと同値です(証明は割愛します)。

任意の圏$\cE$の対象$a$と恒等射$1_a$を同一視しても本質的には問題ないのでした( 第1回の記事 を参照のこと)。このため,$\cD^\cC$の各対象(つまり関手)$F$$\cD^\cC$の恒等射(つまり恒等自然変換)$1_F$と同一視しても,本質的には問題ありません。

まとめ

自然変換を合成する2種類の方法(垂直合成と水平合成)を説明しました。垂直合成は射の合成に相当し,水平合成は写像としての合成に相当するのでした。図式では垂直合成および水平合成を,それぞれ「縦方向」および「横方向」の合成として表せます。図式により,これらの合成を視覚的に表せて,かつ少し慣れればこれらを即座に区別できるようになると思います。

投稿日:1012
更新日:1日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

量子論 / 量子情報理論 / 量子測定 の研究者です。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中