モナドのクライスリ圏

ウィキペディア小見出し辞書

モナドのクライスリ圏

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/28 09:55 UTC 版)

「クライスリ圏」の記事における「モナドのクライスリ圏」の解説

圏 C 上のモナド が与えられたとすると、クライスリトリプルの拡張演算子 _*はモナドを用いて定義することができる。具体的には、任意の射 f : X → T Y に対して、_* を f ∗ = μ Y ∘ T f . とする。よって、モナド を与えることはクライスリトリプル （T,η, _*） を与えることと同値である。