クライスリ圏
クライスリ圏(英: Kleisli category)
対象＝型
射＝関数
からなる圏
/mrsekut-p/クライスリ圏
/mrsekut-p/Kleisli Triple
/mrsekut-p/Kleisli Tripleの定義の図的理解
その他のページは
mrsekut-p内をクライスリで検索
Kle65
H. Kleisli. “Every standard construction is induced by a pair of adjoint functors”. In: Proc. Amer. Math. Soc. 16 (1965), pp. 544–546.
Category Theorem for programmers - Shingo Suzuki's project
クライスリ圏 - Wikipedia
https://www.youtube.com/watch?v=wJJZNNIsWaM
#圏論
#数学
#Haskell