はじめに
この記事では,
前回の記事
で紹介した「点線の枠による表記」について,より詳しく説明します。
本連載の目次
#1:
圏の定義と具体例
#2:
関手と自然変換
#3:
垂直合成と水平合成
#4:
モノイダル圏
#5:
モナドとは自己関手の圏におけるモノイド対象のこと
#6:
モナドの例
#7:
随伴
#8:
関手を表す線の順序の交換
#9:
普遍射と随伴・極限・カン拡張
#10:
ホム関手のストリング図(前編)
#11: ホム関手のストリング図(後編)(この記事)
#12:
米田の補題
番外編1:
視覚的に理解するクライスリトリプルとモナドの同値性
番外編2:
線形代数の圏論的な性質(?)を圏論なしで説明する
点線の枠による表記の規則
前回の記事
の「まとめ」では,点線の枠による表記として次のような図式を紹介しました。
まとめ
この表記の規則の概要をまとめておきます(拙著Nak-2025でていねいに説明しています)。
点線の枠による表記の規則:
- 点線の枠のみで表される図式は,(A)のように線「」を含まない場合には集合(つまり の対象)を表しているとみなし,(C)のように線「」を含む場合には集合値関手を表しているとみなす。
- 点線の枠とほかの射との合成で表される図式は,(B)のように線「」を含まない場合には写像(つまり の射)を表しているとみなし,(D)のように線「」を含む場合には集合値関手から集合値関手への自然変換を表しているとみなす。
- (C)や(D)のような図式では,線「」は点線の枠のみにつながっているものとする。
- (C)や(D)のような関手や自然変換では,の部分を各対象に置き換えると,それらの関手や自然変換ととの水平合成を表しているとみなす。同様に,の部分を各射に置き換えると,それらの関手や自然変換ととの水平合成を表しているとみなす。
補足:
これから示すように,線「」に加えて線「」が用いられることもあります。規則(4)を利用すると,関手や自然変換を「点線の枠による表記」で素直に表せます。具体的には,やを対象に作用させたやの図式を描いて,その図式の線を線「」に置き換えればやの図式が得られます。対象に作用させる代わりに,射に作用させた図式を考えても同様です。
これから示す具体例を考えれば,イメージがつかめると思います。
補足:
の部分が入力になっていると捉えると,やを表す図式は,それらの対象への作用や射への作用を表していると解釈できます。集合値関手
の定義
ホム関手(ただし)と関手との水平合成をと書くことにします。この関手を明示的に表すと,次のようになります。
- [対象への作用] の各対象をの対象(つまり集合)に写す。
- [射への作用] の各射(は任意)をの射(つまり写像)に写す。
の図式
関手は,次の図式で表されます。
関手
この右辺が点線の枠による表記です。このように表せることは,この関手の対象への作用または射への作用を考えればわかります。実際,関手を対象に作用させると
となり,これらはを表しています。この右辺の図式における線を線「」に置き換えることで式の右辺の図式が得られます。なお,関手を射に作用させた
を考え,この右辺の図式におけるブロックを線「」に置き換えることでも得られます。
は2個の関手の水平合成ですので,明らかに関手であり,したがって合成を保ちます。が合成を保つことは,次の図式からも確認できます。
が合成を保つことの確認
2番目の式は,式の右辺のにを代入したものです。3番目の式は,写像の合成を表しており,を表す図式(つまり式の右辺のにを代入したもの)における点線の枠にを表す図式(つまり補助線で囲まれた部分であり,これは式の右辺そのもの)を入れたものとして表しています。2番目と3番目の式は,補助線を削除すればまったく同じです。このように,関手を点線の枠による表記で表すと,合成を保つことが視覚的に明らかになります。
集合値関手から集合値関手への自然変換
具体例
集合値関手から集合値関手への自然変換について考えます(ただし,および)。やや複雑な具体例として,次のように定められる自然変換を考えることにします。
自然変換
ただし,関手と射と自然変換は任意です。が自然変換であることは,後で確認します。この右側の図式は,射の点線の枠による表記です。の点線の枠による表記は,この図式の線を線に置き換えたものとして
の点線の枠による表記
の右辺のようになります。
が自然変換である,つまりが自然性を満たすことを確認しておきます。の自然性は,各射(は任意)について
の自然性
を満たすこととして表されます。この等号が成り立つことは,次式からわかります。
の自然性(点線の枠による表記)
実際,両辺から補助線を削除して,2個のブロックとを線に沿って動かせば,左辺から右辺がすぐに得られます。
補足:
補助線で囲まれた箇所はどちらも自然変換を表しています。左辺は写像の合成 を表しており,右辺は写像の合成 を表しています(なお,および です)。一般化した場合
集合値関手から集合値関手への任意の自然変換を,次の図式で表すことにします。
からへの任意の自然変換
とくに式の自然変換は,この特別な場合とみなせます。
式の自然変換
直観的には,この右辺のの部分をブラックボックスと捉えたものが左辺のブロックであると考えると,わかりやすいかもしれません。式の自然変換の自然性は, の各射に対して
式の自然変換の自然性
を満たすものとして表されます。この式は式を一般化したような形をしていることがわかると思います。このように表すと,「射が自然変換を素通りする」という直観的なイメージを素直な形で表せるため,便利です。このように,式のような表記には,その図式からの自然性を直観的でわかりやすい形で表せるという利点があります。
まとめ
集合値関手と,集合値関手から集合値関手への自然変換の図式について述べました。点線の枠による表記を用いると,これらの関手や自然変換を直観的でわかりやすい形で表せることを示しました。