About: モナド (圏論)

数学の一分野である圏論において、モナド（英語: monad）とは、モノイドに似た構造を備えた自己関手である。モナドは半順序集合上の閉包作用素の一般化や、（英語: bicategory）上のモノイドに似た構造として捉えられ、随伴関手（または随伴1-セル）と強い関係を持つ。双対概念はである。 歴史的に、この構造は「双対標準構成（英: dual standard construction）」「トリプル（英: triple）」「モノイド（英: monoid）」「トライアド（英: triad）」と様々な呼称で呼ばれており、これについてソーンダース・マックレーンは『圏論の基礎』の中で「不幸にも「トリプル」という語がこの意味でしばしば用いられたことが無用な混乱を拡大した」と記している。「モナド」という語彙はライプニッツ（モナド (哲学) を参照）からの借用であるが、これを誰が名付けたかは定かではない。少なくとも（英語: Jean Bénabou）の1967年の論文に使用例が存在しており、1969年ごろの段階ではマックレーンもまだ呼称を決定していなかったことを（英語: Ross Street）が明かしている。