モナド(数学)

モナドとは、自己関手の圏のモノイド対象である。

概要

自然変換

関手S,T：C→Dが与えられたとき、自然変換ηを射の族(η_c：Sc→Tc)_c∈Ob(C)であり、Cの任意の射f：X→Yに対して射の合成がη_Y∘S(f)=T(f)∘η_Xとなるものであるとする。この時、以下の図式が可換となる。

C			D
X		S(X)	ηX →	T(X)
↓f	S,T 　⇒	S(f)↓		↓T(f)
Y		S(Y)	→ ηY	T(Y)

各Xに対するη_Xをコンポーネントといい、この可換図式の性質を自然性という。

自然変換の合成

C,Dを圏とする。自然変換α：F→G、β：G→Hの合成β・αは以下のようになる。これを垂直合成という。

↗ C→ 　↘

F → α ⇓ →G β⇓ → H

↘ →D ↗

=

↗ C 　↘

F 　→ β・α ⇓ 　→ 　H

↘ 　D ↗

C,D,Eを圏、F,G：C→D、H,I：D→Eを関手、α：F→G、β：H→Iとする。

C

F → ⇓α → G

D

H → ⇓β →  I

E

関手の合成によりF∘H、G∘I：C→Eを作ることでCの対象XはF,G,H,Iを通してEの対象であるH(F(X))、I(F(X))、H(G(X))、G(I(X))へと移る。

H(F(X))	βF →	I(F(X))
↓Hα		↓Iα
H(G(X))	→ βG	I(G(X))

β∘αをこの対角方向の水平合成　β∘α=Iα∘βF=βG∘Hαと定義する。

下の可換図式はβ∘αが自然であることを示す。

C				E
X		H(F(X))	Hα →	H(G(X))	βG →	I(G(X))
↓f	⇒	↓H(F(f))		↓H(G(f))		↓I(G(f))
Y		H(F(Y))	→ Hα	H(G(Y))	→ βG	I(G(Y))

I_C：C→Cが圏Cについての恒等関手であり、1_C：I_C→I_Cが関手I_CからI_C自身への恒等自然変換であれば、恒等射を保存するので、1_C∘α=α、β∘1_Cを得て、1_Cは自然変換の水平合成∘における恒等射となる。同時に垂直合成・の恒等射でもある。

上の状況から合成自然変換の記法としてH∘α：H∘F→H∘G、β∘F：H∘F→I∘Fとすることができる。

C

F → ⇓α → G

D

H →

E

＝

C

H∘F 　→ ⇓H∘α 　→ H∘G

E

C

F →

D

H → ⇓β → I

E

＝

C

H∘F 　→ ⇓β∘F 　→ I∘F

E

また、以下の可換図式

↗ C→ 　↘

→ α ⇓ → β⇓ →

↘　↗ →D→ ↗　↘

→ γ⇓ → δ⇓ →

↘ →E ↗

において、自然変換の垂直合成および水平合成の恒等式(δ・γ)∘(β・α)=(δ∘β)・(γ∘α)を得る。これを相互交換法則という。

関手圏

上の関係から、自然変換は合成できることが分かった。関手を対象、自然変換を射と見れば、これは圏になるという事を示している。実際、C,Dを圏とするとき、D^Cを

• Ob(D^C)を圏Cから圏Dへの関手全体
• F,G∈Ob(D^C)に対し、自然変換η：F→Gを関手Fから関手Gへの射
• 射の合成を垂直合成・
• F∈Ob(D^C)とし、Fにおける恒等自然変換Id_Fを(Id_F)_X=Id_F(X)：F(X)→F(X)

で定義すれば圏となる。これを関手圏という。

随伴

圏C,Dと関手S：C→D、T：D→Cを考える。

C

S → ← T

D

この時、次の性質を持つ組(S,T,φ)をCからDへの随伴という。c,c'∈Ob(C)、d,d'∈Ob(d)とする。

Dの射　f：Sc→d　に右随伴射と呼ばれるCの射　g=φ(f)：c→Td　を割り当てる全単射で、すべてのCの射　h：c'→c　とDの射　k：d→d'　について自然性条件　φ(k∘f)＝T(k)∘φf、φ(f∘S(h))=φf∘h　が成り立つ。このとき、φ^-1(g)=fであり、φ^-1(g∘h)=φ^-1(g)∘S(h)、φ^-1(T(k)∘g)=k∘φ^-1(g)も成り立つ。

c'	h →	c	g=φ(f) 　→	T(d)	T(k) →	T(d')
↓S		↓S		↑T		↑T
S(c')	→ Sh	S(c)	→ f=φ-1(g)	d	→ k	d'

このような随伴が与えられたとき、SはTの左随伴、TはSの右随伴という。

この時、以下の性質を持つものが決定する。

• 各対象cについて射η_cがcからTへの普遍射であり、各f：Sc→aの右随伴がφ(f)=T(f)∘η_c：c→T(d)であるような自然変換η：I_C→T∘S。η_c：c→(T∘S)(c)、η_c=φ(id_S(c))
• 各対象dについて射ε_dがSからdへの普遍射であり、各g：c→Tdが左随伴射φ^-1(g)=ε_d∘S(g)：S(c)→dを持つような自然変換ε：S∘T→I_D。ε_d：(S∘T)(d)→d、ε_d=φ^-1(id_T(d))
• 次の２つの合成は恒等自然変換である。

η∘T T　→

T∘S∘T

T∘ε →T

S∘η S　→

S∘T∘S

ε∘S →S

ηを単位元、εを余単位元という。φから一意にη,εが決まるため、しばしば〈S,T,φ〉は〈S,T,η,ε〉と書かれる。

モナド

任意の自己関手T：C→Cは合成T²=T∘T：C→CやT³=T²∘T：C→Cを持つ。μ：T²→Tを、各x∈Ob(C)についてコンポーネントμ_x：T²(x)→T(x)を持つ自然変換とする。T∘μ：T³→T²はコンポーネント(T∘μ)_x=T(μ_x)：T³(x)→T²(x)を持つ自然変換であり、μ∘T：T³→T²はコンポーネント(μ∘T)_x=μ_Txをもつ自然変換である。

圏CにおけるモナドT=〈T,η,μ〉とは、関手T:C→Cと2つの自然変換η：I_C→T、μ：T²→Tからなり、次の図式を可換にするものである。

T3	Tμ →	T2
↓μT		↓μ
T2	→ μ	T

IT	ηT →	T2	Tη ←	TI
	id↘	↓μ	↙id
		T

形式的にモノイドの定義とよく似ていることが分かる。

• モノイドの要素の集合M　⇔　自己関手T：C→C
• 単位元η：1→M　⇔　恒等自然変換　η：I_C→T

という対応関係がある。従ってηをモナドTの単位元と呼び、μを乗法を呼ぶ。はじめの図式はモナドの結合律を表し、2つ目の図式は右単位元律、および左単位元律を表している。

端的にいえば、圏Cのモナドとは自己関手の成す圏C^Cにおけるモノイドに他ならず、自己関手の合成∘に置き換えられる積と恒等自己関手により定まる単位元ηを持つ。

随伴により定義されるモナド

途中

関連項目

• 数学
• 数学関連用語の一覧
• 圏論
• モナド/モノイド