クライスリ圏
圏論においてクライスリ圏(クライスリけん、英: Kleisli category)とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答をするにあたって導入した圏である。