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