2

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

508
0

はじめに

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

本連載の目次

#1: 圏の定義と具体例
#2: 関手と自然変換
#3: 垂直合成と水平合成(この記事)
#4: モノイダル圏
#5: モナドとは自己関手の圏におけるモノイド対象のこと
#6: モナドの例
#7: 随伴
#8: 関手を表す線の順序の交換
#9: 普遍射と随伴・極限・カン拡張
#10: ホム関手のストリング図(前編)
#11: ホム関手のストリング図(後編)
#12: 米田の補題
番外編1: 視覚的に理解するクライスリトリプルとモナドの同値性
番外編2: 線形代数の圏論的な性質(?)を圏論なしで説明する

垂直合成

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

自然変換の垂直合成

2個の自然変換α:FGβ:GHを任意に選びます(F,G,H:CDも任意です)。これらの各成分αaD(Fa,Ga)βaD(Ga,Ha)Dの射として合成できますので,合成により得られる(添字付けられた)射の集まり

βα:={(βα)a:=βaαa}aC

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

垂直合成!FORMULA[7][-393708998][0] 垂直合成βα

この左辺がβαを表しており,右辺の{ }内の式が(βα)a:=βaαaを表しています。なお,破線を用いて(βα)aβaαaを表す図式を区別していますが,この定義によりこれらは等しいため,破線は単なる補助線と考えて削除しても問題ありません。

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

βαは自然変換であること,つまり自然性

Hf(βα)a=(βα)bFf(fC(a,b))

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

!FORMULA[15][-393708998][0]の自然性の証明 βαの自然性の証明

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

水平合成

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

関手同士の水平合成

まず,任意のF:CD, G:DEに対して,次の写像が考えられます。

morCfFFfGG(Ff)morE

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

!FORMULA[37][-2091036229][0] GF

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

自然変換同士の水平合成

2個の自然変換α:FF(ただしF,F:CD)とβ:GG(ただしG,G:DE)を任意に選びます。このとき,各対象aCに対してαaDの射ですので,これをβの射への作用で写した射βαaが考えられます。 前回の記事 で述べた自然変換の射への作用の定義より,この射βαaは次のように表されます。

射!FORMULA[51][-1804623586][0] βαa

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

βα:={βαa}aC

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

obCaααaββαamorE

ただし,ααの対象への作用を表しており,ββの射への作用を表しています。このとき,βαGFからGFへの自然変換です。このことを示すためには,自然性を満たす,つまり

(GF)f(βα)a=(βα)b(GF)f(fC(a,b))

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

!FORMULA[64][-1137072192][0]の自然性 βαの自然性 (1)

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

βαを,次の左側または右側の図式で表すことにします。

画像の名前 画像の名前

このβαβα水平合成とよびます。なお,βαの射への作用は,次の写像です。

morCfααfββ(αf)morE

このαおよびβはそれぞれαおよびβの射への作用です。β(αf)は式(1)の1番左側の式で表されます。

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

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

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

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

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

!FORMULA[102][-2140231963][0]と!FORMULA[103][-211422208][0] GαβF

垂直合成と水平合成

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

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

具体的に述べます。まず,圏Cの2本の射f:abg:bcは,次のように合成できるのでした。

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

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

次に,関手F:CDについて考えます。FCの対象aと射fをそれぞれDの対象Faと射Ffに写し,これらを次の図式で表すのでした。

!FORMULA[118][1142789][0]と!FORMULA[119][1142944][0] FaFf

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

自然変換α:FG(ただしF,G:CD)についても同様です。αCの対象aと射fをそれぞれDの射αaと射αfに写し,これらを次の図式で表すのでした。

!FORMULA[137][358917916][0]と!FORMULA[138][543662686][0] αaαf

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

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

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

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

!FORMULA[147][-2124867564][0] (ββ)(αα)=(βα)(βα) (1)

のように,「垂直合成してから水平合成した結果」と「水平合成してから垂直合成した結果」は等しくなるでしょうか?(なお,図式からF,F,F:CDα:FFなどがわかります)。より複雑な合成ではどうなるでしょうか?

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

自然変換!FORMULA[151][-1525277043][0]の合成により得られる自然変換 自然変換α,β,γ,δの合成により得られる自然変換 (2)

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

(αF)(βGγ)(Hδ)=(αγ)(βδ) (3)

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

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

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

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

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

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

関手圏DC

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

任意の圏C,Dに対して,次のような圏を関手圏とよび,DCと書きます。

  • 対象は,CからDへの関手である。
  • 対象(つまり関手)F:CDから対象(つまり関手)G:CDへの射は,FからGへの自然変換である。
  • 射の合成は自然変換の垂直合成であり,恒等射は恒等自然変換である。

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

単位律 単位律

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

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

まとめ

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

投稿日:20241012
更新日:6日前
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 本連載の目次
  3. 垂直合成
  4. 自然変換の垂直合成
  5. 水平合成
  6. 関手同士の水平合成
  7. 自然変換同士の水平合成
  8. 関手と自然変換の水平合成
  9. 垂直合成と水平合成
  10. これまでに登場した合成はすべて垂直合成・水平合成とみなせる
  11. 垂直合成と水平合成が混在したときの規則
  12. 図式で表すことのメリット
  13. 関手圏$\cD^\cC$
  14. まとめ