モナド (圏論)

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

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

定義

$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$ 上の自己関手（C から 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}$ のモノイド (Monoid (category theory)) である。

具体例

閉包作用素

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

1. x ≦ y ならば c(x) ≦ c(y)
2. x ≦ c(x)
3. c(c(x)) = c(x)

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

自由モノイド

集合の圏 Set 上の関手 T: Set → Set を$$TA:=\coprod _{n\geq 0}A^{n}$$で定める。すなわち、TA は A の要素の有限長のリスト [a₁, a₂, ..., a_n]すべてからなる集合である。このとき、η_A: A → TA を a ↦ [a] として、μ_A: T ²A → TA をリストの結合で定めると、T は Set 上のモナドとなる。これを自由モノイドモナド、あるいはリストモナドと呼ぶ。

モナドと随伴関手

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

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

アイレンベルグ-ムーア圏

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

T-代数の圏に対して、随伴となる関手 ${\textstyle F^{T}:\mathbb {C} \to \mathbb {C} ^{T}}$ と ${\textstyle 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}$ に対して ${\textstyle L\circ F=F^{T}}$ と ${\textstyle U^{T}\circ L=G}$ を満たす関手 $L:\mathbb {D} \to \mathbb {C} ^{T}$がただ1つ存在するという性質を持つ。

クライスリ圏

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

クライスリ圏 $\mathbb {C} _{T}$ に対して、随伴となる関手 ${\textstyle F_{T}:\mathbb {C} \to \mathbb {C} _{T}}$ と ${\textstyle 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}$ に対して ${\textstyle K\circ F_{T}=F}$ と ${\textstyle G\circ K=U_{T}}$ を満たす関手 $K:\mathbb {C} _{T}\to \mathbb {D}$がただ1つ存在するという性質を持つ。

参考文献

• Mac Lane, Saunders (1978). Categories for the Working Mathematician (2 ed.). Springer New York, NY. doi:10.1007/978-1-4757-4721-8. ISBN 978-0-387-98403-2. ISSN 0072-5285 
  • Mac Lane, Saunders 著、三好 博之、高木 理 訳『圏論の基礎』丸善出版、2012年。ISBN 978-4-621-06324-8。 
• Riehl, Emily (2016). Category Theory in Context. Aurora: Modern Math Originals. Dover Publications. ASIN B06XHZ82GF. ISBN 9780486809038. https://emilyriehl.github.io/files/context.pdf 
• Turi, Daniele (2001), Category Theory Lecture Notes, http://www.dcs.ed.ac.uk/home/dt/CT/, "based on Mac Lane’s Categories for the Working Mathematician" 
• Barr, Michael; Wells, Charles (2020-04-15) [1990] (英語). Category Theory for Computing Science. doi:10.5555/92134. http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf 
• Godement, Roger (1958) (英語). Topologie Algébrique et Théorie des Faisceaux. Actualités Scientifiques et Industrielles, no. 1252, Paris, Hermann, 1958. viii+283 pp.. Paris: Hermann. doi:10.1090/s0002-9904-1960-10369-2. ISSN 1088-9485 
• Pedicchio, Maria Cristina; Tholen, Walter, eds (2004). Categorical foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory. Encyclopedia of Mathematics and Its Applications. 97. Cambridge: Cambridge University Press. ISBN 0-521-83414-7. Zbl 1034.18001 

関連項目

• 圏論
• モナド (プログラミング)

外部リンク

• Monads - YouTubeプレイリスト, five short lectures (with one appendix).
• Baez, John (September 17, 1996). “This Week's Finds in Mathematical Physics (Week 89)”. 2013年8月23日閲覧。 covers monads in 2-categories.