数学の一分野である圏論において、モナド（）あるいはトリプル（）とは（自己）関手と2つの自然変換の三つ組である。モナドは随伴関手の理論で使われ、半順序集合上の閉包作用素を任意の圏の上へ一般化する。モナドという名前は、対応する圏を一般化するというモナドの動作に注目して、ソーンダース・マックレーンが哲学用語である「モナド」を借用した。formula_1 と formula_2 が、formula_1 が formula_2 の 左随伴であるような2つの随伴関手であるとき、合成 formula_5 はモナドである。これよりモナドは自己関手となる。もし formula_1 と formula_2 が互いに逆関手であるとき、対応するモナドは恒等関手となる。一般には随伴関手は圏同値（）を与えない。すなわち随伴関手は異なる性質を持つ圏どうしを関連づけている。モナドの公理は次のシンプルな例によって見出せる。formula_2 を群の圏 Grp から集合の圏 Set への忘却関手とする。するとformula_1 として自由群関手を取ることができる。これはモナドは集合 formula_11 を受け取り自由群 formula_12 の台集合を返す関手であることを意味する。この状況の下で、次の2つの自然な射が与えられる。この射は formula_11 から formula_12 への自然な包含写像である。すなわち、formula_11 の元を長さ1の文字列と見做して formula_12 に写す。この射は「文字列の文字列」を連結（）（平坦化とも言う）する。これらはそれぞれ次の自然変換を定める。2つ目は結合法則をみたす積であり、1つ目がその積についての単位元であることが随伴関手の性質から分かる。これらの結合法則、単位元の公理はモノイドの公理にフォーマルな類似性が見られる。これらは圏上の一般の（随伴関手から構成しない）モナドの定義を与える。半順序集合 formula_21 から生成される圏（対象が formula_22 の元であり、formula_23 が成り立つとき formula_24 から formula_25 へ射が1つ与えられる）を特別に考えると、随伴の対は Galois 接続（）、モナドは閉包作用素（）という単純な対応が取れる。すべてのモナドはある随伴関手から構成でき、さらにこのような随伴関手はたくさん存在する。 クライスリ圏と Eilenberg-Moore 代数の圏（共に下で導入する）は、与えられたモナドを生み出す随伴関手を構成する問題の外的な解である。上で与えた自由群の例は、普遍代数() における代数の variety () の意味で、代数の任意のタイプ()に一般化される。よって、代数の任意のタイプは集合の圏上のモナドに持ち上げられる。代数のタイプはモナドから復元され(Eilenberg-Moore 代数の圏として)、よってモナドは普遍代数の一般化として見られることが重要な点である。さらに一般的に、任意の随伴関手はそれに対応するモナドの Eilenberg-Moore 圏に同値であるとき、モナディック()であると言う。したがって、モナド性の基準を与えるベックのモナド性定理()は任意の随伴関手は代数の圏としてこの方法で扱えることを示すために使われる。モナドの概念は により1958年に "standard construction" という名で提案された。1969年代から1970年代の間は多くの人々は「トリプル」という名前を使っていた。今の標準的な用語「モナド」はマックレーンによる。formula_26 が圏のとき、formula_26上のモナドは関手 formula_28 と2つの自然変換 formula_29 (formula_30 は formula_26 上の恒等関手) と formula_32 (formula_33 は関手 formula_34) から成り、これらは以下の条件をみたす( と呼ばれることもある)：これらの条件は以下の可換図式によって書き直すことができる：formula_41 や formula_42 という表記を展開し以下の可換図式で表すと以下のようになる：1番目の公理はモノイドの結合法則、2番目の公理は単位元の存在の類似物である。実は formula_26 上のモナドは圏 formula_44 のモノイド対象()として定義することもできる。formula_44 は対象を formula_26 の自己関手、射をそれらの間の自然変換として持つ圏であり、これは自己関手の合成からモノイダル圏の構造が誘導される。

出典:wikipedia