『すべてのモナドは関手の随伴対から得られるか』というP. J. Hiltonらの予想に対し、Heinrich Kleisliが解答をするにあたって導入した圏である
ちょっと何言ってるかわからないです。
独習Scalazにもちょろっと出てる。 独習 Scalaz — モナディック関数の合成
なお、すごいHaskellに、クライスリの話はない。。
『すべてのモナドは関手の随伴対から得られるか』というP. J. Hiltonらの予想に対し、Heinrich Kleisliが解答をするにあたって導入した圏である
ちょっと何言ってるかわからないです。
独習Scalazにもちょろっと出てる。 独習 Scalaz — モナディック関数の合成
なお、すごいHaskellに、クライスリの話はない。。