【ストリング図で学ぶ圏論 #5】モナドとは自己関手の圏におけるモノイド対象のこと

はじめに

モナドは計算機科学や物理学などの分野でしばしば登場するため，その名前を聞いたことのある人は多いかもしれません。モノイドを一般化したモノイド対象という概念があり，モノイド対象の特別な場合としてモナドが定義できます。この記事では，モナドの定義として，モノイド対象に基づいた定義とより直接的な定義の2通りの方法を紹介します。

本連載の目次

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

モノイド

まず， 第1回の記事 で紹介したモノイドの定義を改めて明記します。

結合律

結合律は次の図式で表せます（$x,y,z\in \mathcal{M}$は任意）。

結合律
$$\begin{array}{}\text{(1)}& \end{array}$$

ただし，補助線（破線）で囲まれた丸は積$\cdot$を表しており，線はすべて集合$\mathcal{M}$を表しています（線のラベル「$\mathcal{M}$」は適宜省略しています）。この左辺は$x(yz)$を表しており，右辺は$(xy)z$を表しています。便宜上，積$\cdot$を$\mu$と書くことにすると，この式は次式と同値です。

(1)結合律：$\mu \circ (1_{\mathcal{M}}\times \mu )=\mu \circ (\mu \times 1_{\mathcal{M}})$
結合律（別表現）
$$\begin{array}{}\text{(2)}& \end{array}$$

ただし，恒等写像$1_{\mathcal{M}}$は図式では単なる線として表しています。

式$\text{(2)}$は，式$\text{(1)}$から$x,y,z\in \mathcal{M}$を表すブロックを消したものになっています。下側に伸びた3本の線に$x,y,z$のような$\mathcal{M}$の3個の要素が入力されると捉えると，わかりやすいかもしれません。なお，この図式の左辺は

式$\text{(2)}$の左辺

のように3個の領域に分けたとき，上側・左下側・右下側の領域がそれぞれ$\mu ,1_{\mathcal{M}},\mu$を表しています。このため，左辺全体としては$\mu \circ (1_{\mathcal{M}}\times \mu )$を表しています（$\circ$が縦方向の合成で$\times$が横方向の合成に対応しています）。

単位律

また，単位律は次の図式で表されます。

単位律
$$\begin{array}{}\text{(3)}& \end{array}$$
ただし，補助線で囲まれた丸は単位元$1$を表しています。
写像$\{\ast \}\ni \ast \mapsto 1\in \mathcal{M}$（ただし，$\{\ast \}$は要素$\ast$のみをもつ1点集合）を$\eta$とおくと，この式は次式と同値です。

(2)単位律：$\mu \circ (1_{\mathcal{M}}\times \eta )=1_{\mathcal{M}}=\mu \circ (\eta \times 1_{\mathcal{M}})$
単位律（別表現）
$$\begin{array}{}\text{(4)}& \end{array}$$

この図式は，式$\text{(3)}$から$x\in \mathcal{M}$を表すブロックを消したものになっています。ただし，式$\text{(2)}$において$1$を表す丸は，この式では$\eta$を表しています。

モノイド対象

モノイド$⟨\mathcal{M},\cdot ,1⟩$において，集合$\mathcal{M}$は圏$\mathbf{Set}$の対象とみなせます。集合$\mathcal{M}$をより一般の圏$\mathcal{C}$（正確にはモノイダル圏）の対象に拡張し，式$\text{(2)}$と式$\text{(4)}$に相当する条件を満たすようなものとして，モノイド対象が考えられます。

この定義から，モノイド$⟨\mathcal{M},\cdot ,1⟩=⟨\mathcal{M},\mu ,\eta ⟩$（ただし$\cdot$を$\mu$とおいて$1$と$\eta$を同一視しています）は，モノイダル圏$⟨\mathbf{Set},\times ,\{\ast \}⟩$におけるモノイド対象であることがわかります。モノイドが満たすべき条件を素直に拡張することで，より一般のモノイダル圏$⟨\mathcal{C},\otimes ,i⟩$におけるモノイド対象$⟨a,\mu ,\eta ⟩$が考えられるようになります。

モナド

モナドの定義

モナドは，モノイド対象の特別な場合として次のように定義できます。

モノイド対象の定義を用いてより直接的な定義に書き換えると，次のようになります。

まとめ

モノイド対象という観点からモナドの定義を紹介しました。圏論では，結合律と単位律というモノイド的な規則がしばしば登場します。この観点では，モナドとはモノイド的な振る舞いをする自己関手のことだといえるかもしれません。次回の記事では，モナドの例を紹介します。