クライスリ圏

圏論においてクライスリ圏（クライスリけん、）とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答をするにあたって導入した圏である。
概要.
スタンダード構成（standard construction；余モナド）の概念はホモロジー代数の分野では早くから現れていたが、随伴概念の発見に伴い、すべてのモナドは関手の随伴対から得られるのではないかという予想がP.J.Hilton その他によって立てられていた。これに対し二つ解答が寄せられたが、その解答者の一人であるハインリッヒ・クライスリは『Every standard construction is induced by a pair of adjoint functors(1965)』で、
を証明して解答したが、ここで新たに随伴対 (F,G) を構成するために必要となるドメインの圏 K はクライスリ圏（Kleisli category）と呼ばれるようになった。クライスリ圏については、イタリアの計算機科学者エウジニオ・モッジによる計算機科学のプログラム意味論における応用がモナドの理論として存在する。
定義.
クライスリトリプル（Kleisli triple）.
圏 C 上のクライスリトリプル（Kleisli triple）とは、関手 T : C → C、自然変換 η（ηA : A → T A for A ∈ Obj(C)）、射 f : A → T B に対して射 f* : T A → T B を与える拡張演算子（extension operator） _* からなる三つ組 （T, η, _*）で、以下
を満たすものを言う。
クライスリ圏（Kleisli category）.
圏 C 上にクライスリトリプル（T, η, _*）が与えられているとき、クライスリ圏（Kleisli category）CT とは、対象、射、射の合成規則を以下のとおり定めたものを言う。
モナドのクライスリ圏.
圏 C 上のモナド <T,η,μ> が与えられたとすると、クライスリトリプルの拡張演算子 _*はモナドを用いて定義することができる。具体的には、任意の射 f : X → T Y に対して、_* を
とする。よって、モナド <T,η,μ> を与えることはクライスリトリプル （T,η, _*） を与えることと同値である。
計算機科学における応用.
計算機科学者のエウジニオ・モッジは、クライスリ圏の射をプログラム（program）に対応させる、すなわち射としてのプログラムが成す圏とはクライスリ圏であるとすることで表示的意味論にモジュール性を持たせることに成功した（モナドの理論）。
プログラムの圏としてのクライスリ圏（Kleisli category as category of programs）.
プログラミングの教則として、引数と返り値をもつことからプログラム（program）とは数学の関数、すなわち集合写像（mapping）であると教えられることがある。
しかしながらこの喩えは
などを説明することができない。つまり、プログラムは集合写像ではない（a program is NOT a mapping）。
プログラム（program）の数学的モデルを見つけ出す過程において、モッジは圏論と表示的意味論の観点からプログラムは圏の射、型は圏の対象とみなすことができ、さらに直感的解釈として、関数が値を取り値を返すものであるのに対しプログラムが値を取り計算した 値を返す、すなわち引数の型と返り値の型の間にはなにか違いがあり単純な射の合成ができない、と考えた。
モッジはこのような射としてのプログラムの数学的モデルとしてクライスリ圏（Kleisli category）の射が妥当であると主張し実際に副作用、例外処理、非決定計算などの効果をうまくクライスリ圏の枠組みで統一的に定式化できることを示した。その結果として伝統的な表示的意味論においては欠如していたモジュール性を付与することに成功した。
モッジの原理（Moggi's principle）.
理論的には、ある計算方式で"計算した"ことを示す印は、次のモッジの原理から型構築子として導入される。
特に、この計算方式を表す型構築子 T を計算概念（a notion of computation）と呼ぶ。
また、必然的に計算した値を返すプログラム概念は次のようになる。
この特徴付けによって、計算効果 T を伴うプログラムとなんら計算効果を持たない単なる集合写像（関数）は区別できるようになる。ただし、その代わりに２つのプログラムの合成を関数のように単純に行うことができなくなるのである。
例えば、codice_2 と codice_3 が与えられたとき、その合成を行おうと思っても、型 B というデータの型としての共通性はあっても計算概念の分だけ型に違いがあるため、実際にプログラムの合成を行うことはできない。
この致命的な問題点を解消するために導入されるのがクライスリトリプル（Kleisli triple）である。
直感的な記法となるが、クライスリトリプル（T,η, _*）が与えられれば、「_*」演算子の機能からcodice_6 となり
という形でプログラムの合成が可能となる。おおよそこのような理由からモッジはプログラムはクライスリ圏をなすとした。
モナド則（Monad laws）.
プログラムの世界におけるクライスリ・トリプルに対応するものは、計算機科学者のによって命名された次のモナド則（Monad laws）である。
 T a `bindT` unitT == T a
 (unitT a) `bindT` f == f
 T a `bindT` (\ x → (f x) `bindT` (\ y → g y) ) == (T a `bindT` (\x → f x) ) `bindT` (\y → g y) 
これに直接対応するのは次の合成順序を逆にしたのときのクライスリトリプルである。
クライスリ圏をなす計算概念の例.
クライスリ圏をなす計算概念としては以下の計算効果が挙げられる。