モナド（圏論）

数学の一分野である圏論において、モナドとは、圏からそれ自身への関数Tと、結合法則などの条件を満たす 2 つの自然変換からなる3 つの要素です。たとえば、関数が互いに随伴である場合、随伴関係によって決定されると合わせてモナドになります。 ${\displaystyle (T,\eta ,\mu )}$ ${\displaystyle \eta ,\mu }$${\displaystyle F,G}$${\displaystyle T=G\circ F}$${\displaystyle \eta ,\mu }$

簡潔に言えば、モナドとは、ある固定されたカテゴリの自己関数者のカテゴリにおけるモノイドです（自己関数者とは、カテゴリをそれ自身にマッピングする関数者のことです）。ジョン・バエズによると、モナドは少なくとも2つの方法で考えることができます。^[1]

1. 一般化されたモノイドとしてのモナド。これは、モナドが特定のカテゴリのモノイドであるため明らかです。
2. 代数的なガジェットを研究するためのツールとしてのモナド。たとえば、グループは特定のモナドによって記述できます。

モナドは随伴関数のペアの理論で使用され、半順序集合上の閉包演算子を任意のカテゴリに一般化します。モナドはデータ型の理論、命令型プログラミング言語の表示的意味論、および関数型プログラミング言語でも役立ち、可変状態のない言語でfor ループをシミュレートするなどの処理を実行できます。 「モナド (関数型プログラミング)」を参照してください。

モナドは、特に古い文献では、三重、三元、標準構成、基本構成とも呼ばれます。^[2]

モナドは、ある種の自己関数子です。たとえば、と が の随伴関数子のペアで、 がに左随伴している場合、合成はモナドです。と が互いに逆の場合、対応するモナドは恒等関数子です。一般に、随伴は同値ではなく、異なる性質のカテゴリを関連付けます。モナド理論は、随伴が「保持する」ものを捉える取り組みの一部として重要です。 の考察から同様に学べる理論のもう半分は、コモナドの双対理論で説明されています。 ${\displaystyle F}$${\displaystyle G}$${\displaystyle F}$${\displaystyle G}$${\displaystyle G\circ F}$${\displaystyle F}$${\displaystyle G}$${\displaystyle F\circ G}$

この記事全体を通じて、はカテゴリを表します。上のモナドは、 の自己関数と 2 つの自然変換(は の恒等関数を表す) および( はからへの関数) で構成されます。これらは、次の条件 (一貫性条件と呼ばれることもあります) を満たすために必要です。 ${\displaystyle C}$${\displaystyle C}$${\displaystyle T\colon C\to C}$${\displaystyle \eta \colon 1_{C}\to T}$${\displaystyle 1_{C}}$${\displaystyle C}$${\displaystyle \mu \colon T^{2}\to T}$${\displaystyle T^{2}}$${\displaystyle T\circ T}$${\displaystyle C}$${\displaystyle C}$

• ${\displaystyle \mu \circ T\mu =\mu \circ \mu T}$（自然変換として）；ここで、およびは「水平合成」によって形成されます。${\displaystyle T^{3}\to T}$${\displaystyle T\mu}$${\displaystyle \muT}$
• ${\displaystyle \mu \circ T\eta =\mu \circ \eta T=1_{T}}$(自然変換として; ここではから への恒等変換を表します)。${\displaystyle T\to T}$${\displaystyle 1_{T}}$${\displaystyle T}$${\displaystyle T}$

これらの条件は、次の交換法則を使用して書き直すことができます。

表記法との説明については自然変換に関する記事を参照するか、これらの表記法を使用しない可換図を以下で参照してください。 ${\displaystyle T\mu}$${\displaystyle \muT}$

最初の公理は、 をモノイドの二項演算と考えると、モノイドの結合性に似ており、2 番目の公理は単位元の存在( によって与えられると考える) に似ています。実際、 上のモナドは、カテゴリ 内のモノイドとして定義することもできます。このカテゴリ内のモノイドでは、オブジェクトはの自己関数子であり、その射はそれらの間の自然な変換であり、モノイド構造は自己関数子の合成によって誘導されます。 ${\displaystyle \mu}$${\displaystyle \eta}$${\displaystyle C}$${\displaystyle \mathbf {End} _{C}}$${\displaystyle C}$

冪集合モナドは、カテゴリ上のモナドです。集合 に対してを の冪集合とし、関数 に対して を直接の像として誘導される冪集合間の関数とします。すべての集合 に対して、すべての単集合に割り当てる写像 があります。関数 ${\displaystyle {\mathcal {P}}}$${\displaystyle \mathbf {集合} }$${\displaystyle A}$${\displaystyle T(A)}$${\displaystyle A}$${\displaystyle f\colon A\to B}$${\displaystyle T(f)}$${\displaystyle f}$${\displaystyle A}$${\displaystyle \eta _{A}\colon A\to T(A)}$${\displaystyle a\in A}$ ${\displaystyle \{a\}}$

${\displaystyle \mu _{A}\colon T(T(A))\to T(A)}$

集合の集合をその和集合にとります。これらのデータはモナドを記述します。

モナドの公理は、形式的にはモノイド公理に似ています。実際、モナドはモノイドの特殊なケースであり、つまり、モナドはまさに自己関数子 間のモノイドであり、自己関数子の合成によって与えられる乗算を備えています。 ${\displaystyle \operatorname {End} (C)}$

モナドの合成は、一般的にはモナドではありません。例えば、二重冪集合関数はモナド構造を許容しません。^[3]${\displaystyle {\mathcal {P}}\circ {\mathcal {P}}}$

カテゴリの双対定義は、コモナド（またはコトリプル）の正式な定義です。これは、カテゴリのコモナドは反対のカテゴリのモナドであるという観点から簡単に言えます。したがって、これはから自身への関数であり、先ほど与えた定義のあらゆる場所で矢印を逆にすることで得られるコユニットとコマルチプリケーションの公理のセットを持ちます。 ${\displaystyle C}$ ${\displaystyle C^{\mathrm {op} }}$${\displaystyle U}$${\displaystyle C}$

モナドとモノイドの関係は、コモナドとコモノイドの関係と同じです。すべての集合は一意にコモノイドであるため、コモノイドは抽象代数ではモノイドほど馴染みがありません。ただし、通常のテンソル積を持つベクトル空間のカテゴリのコモノイドは重要であり、コ代数という名前で広く研究されています。

モナドの概念は、 1958年にロジェ・ゴドマンによって「標準構成」という名前で発明されました。モナドは「二重標準構成」、「三重」、「モノイド」、「トライアド」などと呼ばれてきました。^{[4] 「モナド」という用語は、遅くとも1967年に}ジャン・ベナブーによって使用されています。^{[5] [6]}

カテゴリ上の恒等関数はモナドです。その乗算と単位は、のオブジェクト上の恒等関数です。 ${\displaystyle C}$${\displaystyle C}$

あらゆる付加物

${\displaystyle F:C\rightleftarrows D:G}$

はC上のモナドを生成する。この非常に広く普及している構成は次のように動作する。エンドファンクタは合成関数である。

${\displaystyle T=G\circ F.}$

この自己関数はすぐにモナドであることがわかり、単位写像は随伴の単位写像から派生し、乗算写像は随伴の余単位写像を使用して構築されます。 ${\displaystyle \operatorname {id} _{C}\to G\circ F}$

${\displaystyle T^{2}=G\circ F\circ G\circ F\xrightarrow {G\circ {\text{counit}}\circ F} G\circ F=T.}$

実際、任意のモナドは、アイレンバーグ・ムーアのカテゴリ（-代数のカテゴリ）を使用して、関数の明示的な付加物として見つけることができます。^[7] ${\displaystyle C^{T}}$${\displaystyle T}$

固定体kに対する二重双対化モナドは、付加から生じる。

${\displaystyle (-)^{*}:\mathbf {ベクトル} _{k}\rightleftarrows \mathbf {ベクトル} _{k}^{op}:(-)^{*}}$

ここで、両方の関数は、ベクトル空間 V をその双対ベクトル空間 に送ることで与えられます。関連付けられたモナドは、ベクトル空間V をその二重双対に送ります。このモナドは、Kock (1970) によって、より一般的な形で議論されています。 ${\displaystyle V^{*}:=\オペレータ名 {Hom} (V,k)}$ ${\displaystyle V^{**}}$

半順序集合 から生じるカテゴリ（ の場合に限りからへの単一の射を持つ）の場合、形式論ははるかに単純になります。つまり、随伴対はガロア接続であり、モナドは閉包演算子です。 ${\displaystyle (P,\leq )}$${\displaystyle x}$${\displaystyle y}$ ${\displaystyle x\leq y}$

たとえば、を群のカテゴリGrpから集合のカテゴリSetへの忘却関手とし、 を 集合のカテゴリから群のカテゴリへの自由群関手とします。すると は の左随伴になります。この場合、関連付けられたモナドは集合を受け取り、自由群 の基底集合を返します。このモナドの単位写像は写像によって与えられます。 ${\displaystyle G}$${\displaystyle F}$${\displaystyle F}$${\displaystyle G}$${\displaystyle T=G\circ F}$${\displaystyle X}$${\displaystyle \mathrm {自由} (X)}$

${\displaystyle X\to T(X)}$

任意の集合を自然な方法で、長さ1の文字列として集合に含める。さらに、このモナドの乗算は写像である ${\displaystyle X}$${\displaystyle \mathrm {自由} (X)}$

${\displaystyle T(T(X))\to T(X)}$

モナドは「文字列の文字列」の自然な連結または「平坦化」で作られています。これは、2つの自然な変換に相当します。自由群に関する前述の例は、普遍代数の代数多様体の意味で、任意のタイプの代数に一般化できます。したがって、このようなタイプの代数はすべて、集合のカテゴリ上のモナドを生み出します。重要なのは、代数タイプはモナドから復元できるため（アイレンバーグ-ムーア代数のカテゴリとして）、モナドは普遍代数の一般化多様体と見なすこともできることです。

随伴作用から生じる別のモナドは、がベクトル空間のカテゴリ上の自己関数子である場合です。自己関数子はベクトル空間をそのテンソル代数に写像し、線型写像をそのテンソル積 に写像します。すると、 をそのテンソル代数に埋め込むことに対応する自然変換と、すべてのテンソル積を単純に展開することによって得られるから への写像に対応する自然変換が得られます。 ${\displaystyle T}$${\displaystyle V}$ ${\displaystyle T(V)}$${\displaystyle V}$${\displaystyle T(T(V))}$${\displaystyle T(V)}$

緩やかな条件下では、左随伴を許さない関数もモナド、いわゆるコデンシティモナドを生成する。例えば、包含

${\displaystyle \mathbf {FinSet} \subset \mathbf {Set} }$

は左随伴を許容しません。その共密度モナドは、任意の集合X をX上の超フィルターの集合に送る集合上のモナドです。これと同様の例は、Leinster (2013) で説明されています。

命令型プログラミング言語の表示的意味論では、集合のカテゴリ上の次のモナドが使用され、関数型プログラミングでは類似の構造が使用されます。

多分または部分モナドの自己関数子は分離点を追加します: ^[8]

${\displaystyle (-)_{*}:\mathbf {Set} \to \mathbf {Set} }$

${\displaystyle X\mapsto X\cup \{*\}}$

単位は、集合を に含めることによって与えられます。 ${\displaystyle X}$${\displaystyle X_{*}}$

${\displaystyle \eta_{X}:X\toX_{*}}$

${\displaystyle x\mapsto x}$

乗算により、 の要素が自身に写像され、内の 2 つの互いに素な点が 内の 1 つの点に写像されます。 ${\displaystyle X}$${\displaystyle (X_{*})_{*}}$${\displaystyle X_{*}}$

関数型プログラミングと表示的意味論の両方において、maybe モナドは部分的な計算、つまり失敗する可能性のある計算をモデル化します。

集合 が与えられると、状態モナドの自己関数子は各集合を関数の集合にマッピングします。 のユニットの成分は各要素を関数 に マッピングします。${\displaystyle S}$${\displaystyle X}$${\displaystyle S\to S\times X}$${\displaystyle X}$${\displaystyle x\in X}$

${\displaystyle \eta _{X}(x):S\to S\times X}$

${\displaystyle s\mapsto (s,x)}$

乗算は関数を関数に マッピングします${\displaystyle f:S\to S\times (S\to S\times X),s\mapsto (s',f')}$

${\displaystyle \mu _{X}(f):S\to S\times X}$

${\displaystyle s\mapsto f'(s')}$

関数型プログラミングと表示的意味論では、状態モナドは状態のある計算をモデル化します。

集合 が与えられると、リーダーまたは環境モナドのエンドファンクタは各集合を関数 の集合 にマッピングします。したがって、このモナドのエンドファンクタはまさにhom ファンクタです。ユニット の のコンポーネントは各要素を定数関数にマッピングします。 ${\displaystyle E}$${\displaystyle X}$${\displaystyle E\to X}$ ${\displaystyle \mathrm {Hom} (E,-)}$${\displaystyle X}$${\displaystyle x\in X}$ ${\displaystyle e\mapsto x}$

関数型プログラミングと表示的意味論では、環境モナドは読み取り専用データにアクセスする計算をモデル化します。

リストまたは非決定性モナドは、集合X を、 Xの要素を持つ有限シーケンス（つまり、リスト）の集合にマッピングします。ユニットは、 Xの要素x をシングルトンリスト [x] にマッピングします。乗算は、リストのリストを単一のリストに連結します。

関数型プログラミングでは、リスト モナドは非決定性計算をモデル化するために使用されます。共変冪集合モナドは集合モナドとも呼ばれ、非決定性計算をモデル化するために使用されます。

カテゴリ 上のモナドが与えられた場合、 -代数、つまり、モナドの単項および乗法と互換性のある方法で によって作用されるの対象を考えるのは自然なことです。より正式には、 -代数 は ​​、 の構造マップと呼ばれるの矢印を伴うの対象であり、図は次のようになります。 ${\displaystyle (T,\eta ,\mu )}$${\displaystyle C}$${\displaystyle T}$${\displaystyle C}$${\displaystyle T}$${\displaystyle T}$${\displaystyle (x,h)}$${\displaystyle x}$${\displaystyle C}$${\displaystyle h\colon Tx\to x}$${\displaystyle C}$

通勤。

-代数の 射とは、図式${\displaystyle f\colon (x,h)\to (x',h')}$${\displaystyle T}$${\displaystyle f\colon x\to x'}$${\displaystyle C}$

は可換である。 -代数は、アイレンバーグ-ムーアカ​​テゴリと呼ばれるカテゴリを形成し、 と表記される。 ${\displaystyle T}$${\displaystyle C^{T}}$

たとえば、上で説明した自由群モナドの場合、 -代数は、結合性および単位性条件に従って、によって生成された自由群からの写像を伴う集合です。このような構造は、 が群自体である と言うことと同等です。${\displaystyle T}$${\displaystyle X}$${\displaystyle X}$${\displaystyle X}$${\displaystyle X}$

もう一つの例は、集合のカテゴリ上の分配モナド です。これは、集合を有限台と関数の集合に送って、それらの和が に等しくなるようにすることで定義されます。集合構築記法では、これは集合 です。定義を調べると、分配モナド上の代数は凸集合、つまりユークリッド空間における凸線形結合の挙動に似た公理に従う に対する演算を備えた集合 と同値であることが示されます。^[9]${\displaystyle {\mathcal {D}}}$${\displaystyle X}$${\displaystyle f:X\to [0,1]}$${\displaystyle 1}$$${\displaystyle {\mathcal {D}}(X)=\left\{f:X\to [0,1]:{\begin{matrix}\#{\text{supp}}(f)<+\infty \\\sum _{x\in X}f(x)=1\end{matrix}}\right\}}$$${\displaystyle x+_{r}y}$${\displaystyle r\in [0,1]}$${\displaystyle rx+(1-r)y}$

モナドのもう 1 つの便利な例は、可換環 の - 加群のカテゴリ上の対称代数関数です。- 加群を、の対称テンソル冪の直和に送信します。たとえば、ここで右側の - 代数は加群と見なされます。すると、このモナド上の代数は可換 - 代数になります。また、交代テンソルと全テンソル関数のモナド上の代数もあり、反対称- 代数と自由- 代数が得られます。つまり、最初の環は -生成子上の自由反対称代数であり、2 番目の環は -生成子上の自由代数です。 ${\displaystyle R}$${\displaystyle R}$$${\displaystyle {\text{Sym}}^{\bullet }(-):{\text{Mod}}(R)\to {\text{Mod}}(R)}$$${\displaystyle R}$${\displaystyle M}$$${\displaystyle {\text{Sym}}^{\bullet }(M)=\bigoplus _{k=0}^{\infty }{\text{Sym}}^{k}(M)}$$${\displaystyle {\text{Sym}}^{0}(M)=R}$${\displaystyle {\text{Sym}}^{\bullet }(R^{\oplus n})\cong R[x_{1},\ldots ,x_{n}]}$${\displaystyle R}$${\displaystyle R}$${\displaystyle {\text{Alt}}^{\bullet }(-)}$${\displaystyle T^{\bullet }(-)}$${\displaystyle R}$${\displaystyle R}$$${\displaystyle {\begin{aligned}{\text{Alt}}^{\bullet }(R^{\oplus n})&=R(x_{1},\ldots ,x_{n})\\{\text{T}}^{\bullet }(R^{\oplus n})&=R\langle x_{1},\ldots ,x_{n}\rangle \end{aligned}}}$$${\displaystyle R}$${\displaystyle n}$${\displaystyle R}$${\displaystyle n}$

可換-代数に対する類似の構成法${\displaystyle \mathbb {S} }$^{[10] 113 ページ}があり、可換-代数に対する可換 -代数を与えます。 が-加群のカテゴリである場合、関数は-倍で与えられるモナドです。すると、このモナド上の代数のカテゴリから、 関連する可換 -代数のカテゴリが存在します。${\displaystyle A}$${\displaystyle \mathbb {S} }$${\displaystyle A}$${\displaystyle {\mathcal {M}}_{A}}$${\displaystyle A}$${\displaystyle \mathbb {P} :{\mathcal {M}}_{A}\to {\mathcal {M}}_{A}}$$${\displaystyle \mathbb {P} (M)=\bigvee _{j\geq 0}M^{j}/\Sigma _{j}}$$$${\displaystyle M^{j}=M\wedge _{A}\cdots \wedge _{A}M}$$ ${\displaystyle j}$${\displaystyle {\mathcal {C}}_{A}}$${\displaystyle A}$

上で述べたように、任意の随伴はモナドを生じます。逆に、すべてのモナドは何らかの随伴、つまり自由忘却随伴から生じます。

${\displaystyle T(-):C\rightleftarrows C^{T}:{\text{forget}}}$

の左随伴項はオブジェクトX を自由T代数T ( X ) に送ります。ただし、モナドを生成する別個の随伴項は通常複数存在します。を、となる随伴項をオブジェクトとし、 の矢印が 上の恒等写像である随伴項の射であるカテゴリとします。すると、アイレンバーグ–ムーア カテゴリを含む上記の自由忘却随伴項は、 の終端オブジェクトになります。初期オブジェクトはクライスリ カテゴリで、これは定義により自由T代数、つまりCのあるオブジェクトxに対する の形式のT代数のみからなるの完全なサブカテゴリです。 ${\displaystyle \mathbf {Adj} (C,T)}$${\displaystyle (F,G,e,\varepsilon )}$${\displaystyle (GF,e,G\varepsilon F)=(T,\eta ,\mu )}$${\displaystyle C}$${\displaystyle C^{T}}$${\displaystyle \mathbf {Adj} (C,T)}$${\displaystyle C^{T}}$${\displaystyle T(x)}$

任意のモナドTを伴う随伴関数が与えられた場合、関手Gは次のように因数分解できる。 ${\displaystyle (F:C\to D,G:D\to C,\eta ,\varepsilon )}$

${\displaystyle D{\stackrel {\tilde {G}}{\to }}C^{T}{\stackrel {\text{forget}}{\to }}C,}$

すなわち、G ( Y ) は、 D内の任意のYに対して、自然にT代数構造を付与される。最初の関数がDとアイレンバーグ・ムーアカテゴリとの間のカテゴリの同値性をもたらす場合、その随伴はモナド随伴と呼ばれる。^[11]拡張により、関数がモナド随伴を形成する左随伴を持つ場合、その関数はモナド的であると言われる。例えば、前述のように、関連するモナド上の代数はグループであるため、グループとセットの間の自由忘却随伴はモナド的である。一般に、随伴がモナド的であることを知ることで、 C内のオブジェクトとT作用からD内のオブジェクトを再構築することができる。 ${\displaystyle {\tilde {G}}}$${\displaystyle C^{T}}$${\displaystyle G\colon D\to C}$${\displaystyle F}$

ベックのモナディ性定理は、付加がモナディックであるための必要十分条件を与えます。この定理の簡略版は、 Gがモナディックであるとは、それが保存的である場合（またはGが同型を反映する、つまり、 Dの射が同型であるためには、 Gによるその像がCの同型である場合に限る）、かつC がを持ち、 G が共等化子を保存することを述べています。

例えば、コンパクト ハウスドルフ空間のカテゴリから集合への忘却関手はモナド的である。しかし、すべての位相空間から集合への忘却関手は保存的ではない。なぜなら、同相写像にならない連続全単射写像（非コンパクト空間または非ハウスドルフ空間間）が存在するからである。したがって、この忘却関手はモナド的ではない。^{[12]コモナド的随伴を特徴付けるベックの定理の双対版は、}トポス理論や代数幾何学における降下に関する話題 など、さまざまな分野で関連している。コモナド的随伴の最初の例は、随伴である。

${\displaystyle -\otimes _{A}B:\mathbf {Mod} _{A}\rightleftarrows \mathbf {Mod} _{B}:\operatorname {forget} }$

可換環間の環準同型。ベックの定理によれば、この随伴は、 B がA加群として忠実平坦である場合に限り、コモナド的である。したがって、これにより、降下データ（つまり、随伴によって与えられたコモナドの作用）を備えたB加群をA加群に降下させることができる。結果として得られる忠実平坦降下の理論は、代数幾何学で広く応用されている。 ${\displaystyle A\to B}$

モナドは関数型プログラミングで、一連の計算（副作用を伴う場合もあります）を表現するために使用されます。関数型プログラミングのモナド、およびより数学的な Wikibook モジュール b:Haskell/Category theory を参照してください。

モナドは不純な関数型プログラミング言語や命令型プログラミング言語の表示的意味論で使用されます。^{[13] [14]}

カテゴリカル論理では、閉包演算子、内部代数、およびそれらのS4モデルと直観主義論理との関係を介して、モナド-コモナド理論と様相論理の間に類似点が描かれています。

2-カテゴリ でモナドを定義することは可能です。上記のモナドは のモナドです。 ${\displaystyle C}$${\displaystyle C=\mathbf {Cat} }$

• モナド間の分配法則
• ローヴェア理論
• モナド（関数型プログラミング）
• ポリアド
• 強いモナド
• ジリーモナド
• モノイドモナド

• バー、マイケル、ウェルズ、チャールズ(1999)、コンピューティング サイエンスのためのカテゴリ理論(PDF)
• Godement、Roger (1958)、Topologie Algébrique et Théorie des Faisceaux。、実際の科学。インド、出版。数学。大学ストラスブール、vol. 1252 年、パリ: ヘルマン、pp. viii+283 pp
• コック、アンダース (1970)、「二重双対モナドについて」、Mathematica Scandinavica、27 :151、doi : 10.7146/math.scand.a-10995
• レンスター、トム (2013)、「コードンスティーとウルトラフィルターモナド」(PDF)、カテゴリーの理論と応用、28 : 332–370、arXiv : 1209.3606、Bibcode :2012arXiv1209.3606L
• マクレーン、サンダース（1978）、働く数学者のためのカテゴリー、数学の大学院テキスト、第5巻、doi：10.1007 / 978-1-4757-4721-8、ISBN 978-1-4419-3123-8
• Pedicchio, Maria Cristina; Tholen, Walter 編 (2004)。カテゴリカル基礎。順序、位相、代数、層理論の特別トピック。数学とその応用百科事典。第 97 巻。ケンブリッジ:ケンブリッジ大学出版局。ISBN 0-521-83414-7.ZBL1034.18001  。​
• ペローネ、パオロ (2024)、「第 5 章 モナドとコモナド」、カテゴリー理論入門、World Scientific、doi :10.1142/9789811286018_0005、ISBN 978-981-12-8600-1
• リール、エミリー（2017）、文脈におけるカテゴリー理論、クーリエ・ドーバー出版、ISBN 9780486820804
• トゥリ、ダニエレ (1996–2001)、カテゴリー理論講義ノート(PDF)
• https://mathoverflow.net/questions/55182/what-is-known-about-the-category-of-monads-on-set
• ロス・ストリート、モナドの形式理論 [1]

• Monads、5 つの短い講義 (1 つの付録付き) の YouTube ビデオ。
• John Baez の「今週の数理物理学の発見 (第 89 週)」では、2 カテゴリのモナドを取り上げます。
• モナドとコモナド、ビデオチュートリアル。
• https://medium.com/@felix.kuehl/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-lets-actually-unravel-this-f5d4b7dbe5d6