モナド (圏論)

数学の一分野である圏論において、**モナド**（）とは、モノイドに似た構造を備えた自己関手である。モナドは半順序集合上の閉包作用素の一般化や、上のモノイドに似た構造として捉えられ、随伴関手（または随伴1-セル）と強い関係を持つ。双対概念はである。

歴史的に、この構造は「**双対標準構成**（）」「**トリプル**（）」「**モノイド**（）」「**トライアド**（）」と様々な呼称で呼ばれており、これについてソーンダース・マックレーンは『圏論の基礎』の中で「不幸にも「トリプル」という語がこの意味でしばしば用いられたことが無用な混乱を拡大した」と記している。「モナド」という語彙はライプニッツ（モナド (哲学) を参照）からの借用であるが、これを誰が名付けたかは定かではない。少なくともの1967年の論文に使用例が存在しており、1969年ごろの段階ではマックレーンもまだ呼称を決定していなかったことをが明かしている。

## 定義
C が圏のとき、C上の**モナド**は関手 T:C\rightarrow C と2つの自然変換 \eta : 1_C \rightarrow T (1_C は C 上の恒等関手) と \mu : T^2 \rightarrow T (T^2 は関手 T \circ T : C \rightarrow C) から成り、これらは以下の条件をみたす(:en:coherence_conditions と呼ばれることもある)：
* \mu \circ T \mu = \mu \circ \mu T (自然変換 T^3 \rightarrow T として)
* \mu \circ T \eta = \mu \circ \eta T = 1_T (自然 T \rightarrow T として。ここで 1_T は T 上の恒等変換である)
これらの条件は以下の可換図式によって書き直すことができる：

T\mu や \mu T という表記を展開し以下の可換図式で表すと以下のようになる：

### 自己関手の圏上のモノイドとして
圏 C 上の自己関手（ から  への関手）を対象として、それらの間の自然変換を射とする圏を \mathrm{End}_C で表す。このとき、自己関手の合成演算 \circ は \mathrm{End}_C にモノイダル圏の構造を与える。\mathrm{End}_C において C 上のモナド (T,\eta,\mu) は、\mathrm{End}_C の対象 T と射 \eta:1_{C}\to T, \mu:T\circ T\to T の組であって、

* \mu\cdot(T\circ\mu)=\mu\cdot(\mu\circ T)
* \mu\cdot(T\circ\eta)=\mu\cdot(\eta\circ T)=1_T

（ここで・は \mathrm{End}_C の射の合成を表す）を満たすものと書ける。すなわち、これは \mathrm{End}_C のモノイドである。

## 具体例

### 閉包作用素
完備束  上の写像  が以下の条件を満たすとき、 を閉包作用素と言う：

#  ならば 
# 
# 

 と順序関係 ≦ のなす構造を圏とみなしたとき、条件1と順序関係の性質から  を関手と思うことができる。さらに、順序集合を圏とみなしたとき、各対象の間の射は高々1つである。このことと条件2,3を用いると、 は  上のモナドである条件を満たす。半順序上のモナドが閉包作用素であることは  でも示されている。

### 自由モノイド
集合の圏  上の関手  をTA:=\coprod_{n\geq 0}A^nで定める。すなわち、 は  の要素の有限長のリスト すべてからなる集合である。このとき、 を  として、 をリストの結合で定めると、 は  上のモナドとなる。これを**自由モノイドモナド**、あるいは**リストモナド**と呼ぶ。

## モナドと随伴関手
関手 F:\mathbb{C}\to\mathbb{D} と G:\mathbb{D}\to\mathbb{C} は随伴、すなわち自然な同型 \varphi:\mathbb{D}(Fx,y)\simeq\mathbb{C}(x,Gy) が存在するとき、関手 G\circ F:\mathbb{C}\to\mathbb{C} はモナドとなる。ここでモナドを構成する  は随伴の単位射、 は随伴の余単位  を用いて  で定まる。

随伴関手はモナドを伴う一方、全てのモナドは随伴関手の合成として表すことができる。圏  上のモナド (T,\eta,\mu) に伴う特別な随伴として、\mathbb{C}^Tとクライスリ圏 \mathbb{C}_T への随伴が知られている。

### アイレンベルグ-ムーア圏
圏  上のモナド (T,\eta,\mu) に対して、 の対象  と射  の組を''T''-代数という。また、-代数  と  の間のモルフィズム  を、\beta\circ Tf=f\circ\alpha を満たす  の射  で定める。 の**アイレンベルグ-ムーア圏 <math>\mathbb{C}^T</math>** とは、-代数とその間のモルフィズムからなる圏である。

-代数の圏に対して、随伴となる関手 F^T:\mathbb{C}\to\mathbb{C}^T と U^T:\mathbb{C}^T\to\mathbb{C} は次のように定められる：

* F^T(x)=(Tx,\mu_x), F^T(f)=Tf
* U^T(A,\alpha)=A, U^T(f)=f

定義から U^T\circ F^T=T であり、従って T は F^T と U^T に伴うモナドである。

アイレンベルグ-ムーア圏とそれに伴う随伴は、任意の随伴 F\dashv G:\mathbb{C}\rightharpoonup\mathbb{D} に対して L\circ F=F^T と U^T\circ L=G を満たす関手 L:\mathbb{D}\to\mathbb{C}^Tがただ1つ存在するという性質を持つ。

### クライスリ圏
圏  上のモナド (T,\eta,\mu) に対して、 の**クライスリ圏** \mathbb{C}_T は \mathbb{C} と同一の対象を持ち、\mathbb{C}_T(x,y)=\mathbb{C}(x,Ty) によって定まる射を持つ圏である。このとき、\mathbb{C}_T における射の合成は、f:x\to Ty と g:y\to Tz に対して x\xrightarrow{f}Ty\xrightarrow{Tg}T^2z\xrightarrow{\mu_z}Tz で定まる。また、恒等射は \eta_x:x\to Tx となる。

クライスリ圏 \mathbb{C}_T に対して、随伴となる関手 F_T:\mathbb{C}\to\mathbb{C}_T と U_T:\mathbb{C}_T\to\mathbb{C} は次のように定められる：

* F_T(x)=x, F_T(f)=\eta_y\circ f
* U_T(x)=Tx, U_T(f)=\mu_y\circ Tf

定義から U_T\circ F_T=T であり、従って T は F_T と U_T に伴うモナドである。

クライスリ圏とそれに伴う随伴は、任意の随伴 F\dashv G:\mathbb{C}\rightharpoonup\mathbb{D} に対して K\circ F_T=F と G\circ K=U_T を満たす関手 K:\mathbb{C}_T\to\mathbb{D}がただ1つ存在するという性質を持つ。

## モナドのための代数

## 脚注



## 参考文献
* 
** 
* 
* 
* 
* 
* 

## 関連項目
* 圏論
* モナド (プログラミング)

## 外部リンク
*, five short lectures (with one appendix).
* covers monads in 2-categories.