【ストリング図で学ぶ圏論 #9】普遍射と随伴・極限・カン拡張

はじめに

今回の記事では，普遍射について紹介します。普遍射を用いると，前回の記事で述べた随伴に加えて極限とカン拡張とよばれる概念を統一的に扱えます。

本連載の目次

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

普遍射

式$\text{(1)}$を$⟨u,\eta ⟩$の普遍性とよぶことにします。

随伴

普遍射と随伴には次のような関係があることが知られています（拙著Nak-2025で証明しています）。

式$\text{(1)}$より，普遍射$⟨u_c,{\eta }_c⟩$は次式のように表せます（ただし黒丸は${\eta }_c$）。

$⟨u_c,{\eta }_c⟩$の普遍性 $$\begin{array}{}\text{(2)}& \end{array}$$

前回の記事で導入した単位$\eta$の表記を用いれば，普遍射$⟨u_c,{\eta }_c⟩$は次式で表されます（なお，$Fc=u_c$です）。

単位$\eta$を用いた普遍射$⟨u_c,{\eta }_c⟩$の表記 $$\begin{array}{}\text{(3)}& \end{array}$$

（余）極限

関手圏${\mathcal{C}}^{\mathcal{J}}$を考えます。$D\in {\mathcal{C}}^{\mathcal{J}}$から対角関手${\mathrm{\Delta }}_{\mathcal{J}}:\mathcal{C}\to {\mathcal{C}}^{\mathcal{J}}$への普遍射を，$D$の余極限とよびます。ただし，${\mathrm{\Delta }}_{\mathcal{J}}:=\text{–}\bullet !$です（ 第8回の記事 で述べました）。具体的には，任意の$\alpha \in {\mathcal{C}}^{\mathcal{J}}(D,{\mathrm{\Delta }}_{\mathcal{J}}c)$（$c\in \mathcal{C}$も任意）について

$⟨d,\eta ⟩$の普遍性 $$\begin{array}{}\text{(4)}& \end{array}$$

（ただし黒丸を$\eta$とおく）を満たす$\bar{\alpha }\in \mathcal{C}(d,x)$が一意に存在するとき，組$⟨d,\eta ⟩$が$D$の余極限です。この図式が式$\text{(1)}$に対応しています。 第8回の記事 で述べたような線の入れ替えを行うと，式$\text{(4)}$は次式のようにも表せます。

式$\text{(4)}$の別表記

とくに随伴と普遍射との関係を用いると，$\mathcal{J}$から$\mathcal{C}$への任意の関手が余極限をもつことは，対角関手${\mathrm{\Delta }}_{\mathcal{J}}$の左随伴（$\mathrm{colim}$と書きます）が存在することと同値であることを示せます（証明は割愛します）。このような随伴があるとき，式$\text{(3)}$と同様に$D$の余極限は次式のようにも表せます。

$D$の余極限$⟨d,\eta ⟩$

ここで，$\mathrm{colim}D=d$を満たすように関手$\mathrm{colim}$を選べます。

カン拡張

2個の関手$K:\mathcal{C}\to \mathcal{D}$と$F:\mathcal{C}\to \mathcal{E}$を考えます。$F\in {\mathcal{E}}^{\mathcal{C}}$から$\text{–}\bullet K:{\mathcal{E}}^{\mathcal{D}}\to {\mathcal{E}}^{\mathcal{C}}$への普遍射を，$K$に沿った$F$の左カン拡張とよびます。具体的には，任意の$\alpha \in \mathcal{C}(F,H\bullet K)$（$H:\mathcal{D}\to \mathcal{E}$も任意）について

$⟨L,\eta ⟩$の普遍性 $$\begin{array}{}\text{(5)}& \end{array}$$

（ただし黒丸を$\eta$とおきます）を満たす$\bar{\alpha }\in \mathcal{C}(L,H)$が一意に存在するとき，組$⟨L,\eta ⟩$が$K$に沿った$F$の左カン拡張です。この図式が式$\text{(1)}$に対応しています。余極限の場合と同様に線の入れ替えを行うと，式$\text{(5)}$の別表記として次式が得られます。

式$\text{(5)}$の別表記

とくに随伴と普遍射との関係を用いると，任意の$F:\mathcal{C}\to \mathcal{E}$について$K$に沿った$F$の左カン拡張が存在することは，関手$\text{–}\bullet K$の左随伴（${\mathrm{Lan}}_K$と書きます）が存在することと同値であることを示せます（証明は割愛します）。このような随伴があるとき，式$\text{(3)}$と同様に$K$に沿った$F$のカン拡張は次式のようにも表せます。

$K$に沿った$F$の左カン拡張$⟨L,\eta ⟩$

ここで，${\mathrm{Lan}}_{K}F=L$を満たすように関手${\mathrm{Lan}}_K$を選べます。

まとめ

随伴・余極限・左カン拡張を，式$\text{(1)}$で表される普遍射の特別な場合として定義できることを述べました。また，ストリング図を用いてこれらの普遍性を似たような式で表しました。