圏論におけるクライスリ圏(クライスリけん、)とは、『すべてのモナドは関手の随伴対から得られるか』というP.J.Hiltonらの予想にが解答をするにあたって導入した圏であるKleisli(1965).
圏論におけるクライスリ圏(クライスリけん、)とは、『すべてのモナドは関手の随伴対から得られるか』というP.J.