モナド(数学)

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

概要

自然変換の合成

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→ 　↘

→ α ⇓ → β⇓ →

↘　↗ →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：F→F

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

モナド

任意の自己関手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
		↓μ
IT	=	T	=	TI

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

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

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

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

関連項目

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