1
大学数学基礎解説
文献あり

【ストリング図で学ぶ圏論 #11】ホム関手のストリング図(後編)

132
0

はじめに

この記事では, 前回の記事 で紹介した「点線の枠による表記」について,より詳しく説明します。

本連載の目次

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

点線の枠による表記の規則

前回の記事 の「まとめ」では,点線の枠による表記として次のような図式を紹介しました。

まとめ まとめ

この表記の規則の概要をまとめておきます(拙著Nak-2025でていねいに説明しています)。

点線の枠による表記の規則:

  1. 点線の枠のみで表される図式は,(A)のように線「」を含まない場合には集合(つまり Set の対象)を表しているとみなし,(C)のように線「」を含む場合には集合値関手を表しているとみなす。
  2. 点線の枠とほかの射との合成で表される図式は,(B)のように線「」を含まない場合には写像(つまり Set の射)を表しているとみなし,(D)のように線「」を含む場合には集合値関手から集合値関手への自然変換を表しているとみなす。
  3. (C)や(D)のような図式では,線「」は点線の枠のみにつながっているものとする。
  4. (C)や(D)のような関手や自然変換では,の部分を各対象aに置き換えると,それらの関手や自然変換とaとの水平合成を表しているとみなす。同様に,の部分を各射fに置き換えると,それらの関手や自然変換とfとの水平合成を表しているとみなす。

補足:
これから示すように,線「」に加えて線「=」が用いられることもあります。

規則(4)を利用すると,関手Fや自然変換αを「点線の枠による表記」で素直に表せます。具体的には,Fαを対象aに作用させたFa=Faαa=αaの図式を描いて,その図式の線aを線「」に置き換えればFαの図式が得られます。対象aに作用させる代わりに,射fに作用させた図式を考えても同様です。

これから示す具体例を考えれば,イメージがつかめると思います。

補足:
の部分が入力になっていると捉えると,Fαを表す図式は,それらの対象への作用や射への作用を表していると解釈できます。

集合値関手C(c,G)

C(c,G)の定義

ホム関手c:CSet(ただしcC)と関手G:DCとの水平合成cG:DSetC(c,G)と書くことにします。この関手を明示的に表すと,次のようになります。

  • [対象への作用] Dの各対象aSetの対象(つまり集合)C(c,Ga)に写す。
  • [射への作用] Dの各射f:aba,bDは任意)をSetの射(つまり写像)(Gf)c:C(c,Ga)C(c,Gb)に写す。

C(c,G)の図式

関手C(c,G)は,次の図式で表されます。

関手!FORMULA[49][-1904891068][0] 関手C(c,G)
(1)

この右辺が点線の枠による表記です。このように表せることは,この関手の対象への作用または射への作用を考えればわかります。実際,関手C(c,G)を対象aCに作用させると

!FORMULA[53][1909514109][0] C(c,G)a

となり,これらはC(c,Ga)を表しています。この右辺の図式における線aを線「」に置き換えることで式(1)の右辺の図式が得られます。なお,関手C(c,G)を射fmorCに作用させた

!FORMULA[59][1909514264][0] C(c,G)f
(2)

を考え,この右辺の図式におけるブロックfを線「」に置き換えることでも得られます。

C(c,G)は2個の関手の水平合成ですので,明らかに関手であり,したがって合成を保ちます。C(c,G)が合成を保つことは,次の図式からも確認できます。

!FORMULA[65][-1904891068][0]が合成を保つことの確認 C(c,G)が合成を保つことの確認

2番目の式は,式(2)の右辺のfgfを代入したものです。3番目の式は,写像の合成(Gg)(Gf)を表しており,(Gg)を表す図式(つまり式(2)の右辺のfgを代入したもの)における点線の枠に(Gf)を表す図式(つまり補助線で囲まれた部分であり,これは式(2)の右辺そのもの)を入れたものとして表しています。2番目と3番目の式は,補助線を削除すればまったく同じです。このように,関手C(c,G)を点線の枠による表記で表すと,合成を保つことが視覚的に明らかになります。

集合値関手C(c,G)から集合値関手E(e,F)への自然変換

具体例

集合値関手C(c,G)から集合値関手E(e,F)への自然変換について考えます(ただし,G:DCおよびF:DE)。やや複雑な具体例として,次のように定められる自然変換τを考えることにします。

自然変換!FORMULA[81][1119166004][0] 自然変換τ

ただし,関手Hと射fと自然変換αは任意です。τが自然変換であることは,後で確認します。この右側の図式は,射τxの点線の枠による表記です。τの点線の枠による表記は,この図式の線xを線に置き換えたものとして

!FORMULA[90][1119166004][0]の点線の枠による表記 τの点線の枠による表記
(3)

の右辺のようになります。

τが自然変換である,つまりτが自然性を満たすことを確認しておきます。τの自然性は,各射gD(x,y)x,yDは任意)について

!FORMULA[97][1119166004][0]の自然性 τの自然性

を満たすこととして表されます。この等号が成り立つことは,次式からわかります。

!FORMULA[98][1119166004][0]の自然性(点線の枠による表記) τの自然性(点線の枠による表記)

実際,両辺から補助線を削除して,2個のブロックαgを線に沿って動かせば,左辺から右辺がすぐに得られます。

補足:
補助線で囲まれた箇所はどちらも自然変換τを表しています。左辺は写像の合成 (Fg)τx を表しており,右辺は写像の合成 τy(Gg) を表しています(なお,(E(c,F))g=Fgおよび(C(c,G))g=Gg です)。

一般化した場合

集合値関手C(c,G)から集合値関手E(e,F)への任意の自然変換τを,次の図式で表すことにします。

!FORMULA[110][-1904891068][0]から!FORMULA[111][1833637921][0]への任意の自然変換!FORMULA[112][1119166004][0] C(c,G)からE(e,F)への任意の自然変換τ

とくに式(3)の自然変換τは,この特別な場合とみなせます。

式\eqref{eq:3}の自然変換!FORMULA[115][1119166004][0] (3)の自然変換τ

直観的には,この右辺のα,H,fの部分をブラックボックスと捉えたものが左辺のブロックτであると考えると,わかりやすいかもしれません。式(???)の自然変換τの自然性は,D の各射gに対して

式\eqref{eq:5}の自然変換!FORMULA[121][1119166004][0]の自然性 (???)の自然変換τの自然性

を満たすものとして表されます。この式は式(???)を一般化したような形をしていることがわかると思います。このように表すと,「射gが自然変換τを素通りする」という直観的なイメージを素直な形で表せるため,便利です。このように,式(3)のような表記には,その図式からτの自然性を直観的でわかりやすい形で表せるという利点があります。

まとめ

集合値関手C(c,G)と,集合値関手C(c,G)から集合値関手E(e,F)への自然変換の図式について述べました。点線の枠による表記を用いると,これらの関手や自然変換を直観的でわかりやすい形で表せることを示しました。

参考文献

[1]
中平健治, ストリング図で学ぶ圏論の基礎, 森北出版, 2025
投稿日:1月16日
更新日:7日前
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 本連載の目次
  3. 点線の枠による表記の規則
  4. 集合値関手C(c,G)
  5. C(c,G)の定義
  6. C(c,G)の図式
  7. 集合値関手C(c,G)から集合値関手E(e,F)への自然変換
  8. 具体例
  9. 一般化した場合
  10. まとめ
  11. 参考文献