今回の記事では,関手や自然変換の合成として,垂直合成と水平合成の2種類を説明します。また,これまでに登場したすべての合成がこれらの特別な場合とみなせることを述べます。図式では,これらの合成を,単に線やブロックをつなげることで表せます。
#1:
圏の定義と具体例
#2:
関手と自然変換
#3: 垂直合成と水平合成(この記事)
#4:
モノイダル圏
#5:
モナドとは自己関手の圏におけるモノイド対象のこと
#6:
モナドの例
#7:
随伴
#8:
関手を表す線の順序の交換
#9:
普遍射と随伴・極限・カン拡張
#10:
ホム関手のストリング図(前編)
#11:
ホム関手のストリング図(後編)
#12:
米田の補題
番外編1:
視覚的に理解するクライスリトリプルとモナドの同値性
番外編2:
線形代数の圏論的な性質(?)を圏論なしで説明する
まず,射としての合成である,垂直合成について説明します。
2個の自然変換
が考えられます。この集まりを,次の図式で表すことにします。
垂直合成
この左辺が
を満たすことは,次式からわかります。
ただし,左側および右側の等号ではそれぞれ
次に,写像としての合成である水平合成について説明します。
まず,任意の
この
直観的には,線
2個の自然変換
射
直観的には,この図式は単にブロック
を考えます。これは,次の写像を考えていることと本質的に同じです。
ただし,
を満たすことを示せば十分ですが,これは次式からわかります。
ただし,2番目および3番目の等号では,それぞれ
画像の名前
この
この
恒等自然変換
同様に,自然変換
これらは,次のような図式で表されます。
前回の記事 で触れたように,任意の対象は関手とみなせて,任意の射は自然変換とみなせるのでした。このようにみなせば,これまでに述べてきた合成は,すべて今回の記事で述べた垂直合成または水平合成として捉えられます。「図式において線で表されているもの(つまり対象と関手)はすべて関手とみなせて,ブロックで表されているもの(つまり射と自然変換)はすべて自然変換とみなせる」と考えるとわかりやすいと思います。
具体的に述べます。まず,圏
射の合成
一方,これらの射
次に,関手
一方,対象
自然変換
対象
このように,これまでに登場した合成はすべて垂直合成または水平合成として統一的に扱えます。
垂直合成と水平合成が混在すると何が起こるでしょうか?たとえば
のように,「垂直合成してから水平合成した結果」と「水平合成してから垂直合成した結果」は等しくなるでしょうか?(なお,図式から
実は,複数の自然変換を垂直合成と水平合成により合成して得られる自然変換は,その合成の順序によらないことを示せます(証明は割愛します)。このため,たとえば上記の式の補助線を消してもこれらは等しいため問題ありません。それぞれの自然変換は線に沿って縦方向に自由に移動できますので,たとえば次式が成り立ちます。
自然変換
ただし,この式に現れる自然変換
です。この式のように複雑な図式が現れたら,適切に破線を引くことで小さな単位に分解して考えれば,自然変換がどのように合成されているかがわかります。
図式
このように,少し複雑な式においては,数式よりも図式のほうがわかりやすいことが少なからずあります。
最後に,関手圏についても紹介しておきます。これまでに述べたように,任意の対象は関手とみなせて任意の射は自然変換とみなせます。実は,この逆も成り立ちます。具体的には,これから説明する関手圏を考えれば,任意の関手は対象とみなせて任意の自然変換は射とみなせます。
任意の圏
このように,関手圏では関手を対象として自然変換を射とします。自然変換の垂直合成の定義から,自然変換
単位律
が成り立つことがすぐにわかります。ただし,恒等自然変換を破線のブロックで表しています(この破線は単なる補助線とみなせて,省略しても問題ありません)。この式は,関手圏
任意の圏
自然変換を合成する2種類の方法(垂直合成と水平合成)を説明しました。垂直合成は射の合成に相当し,水平合成は写像としての合成に相当するのでした。図式では垂直合成および水平合成を,それぞれ「縦方向」および「横方向」の合成として表せます。図式により,これらの合成を視覚的に表せて,かつ少し慣れればこれらを即座に区別できるようになると思います。