モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？
問題でも？
元は
プログラミング・ジョーク
不完全にしておよそ正しくないプログラミング言語小史
Programming Joke#5d77c39c5dcf91000044ea49
Haskellのモナドの理解には役に立たないぞ
wint.icon
逆も然り
資料
「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」 - Qiita
集合圏のモノイド対象（＝モノイド）の例から入ってる
Monoid objects - Wiki - Evan Patterson
https://ncatlab.org/nlab/show/monoid+in+a+monoidal+category
https://ncatlab.org/nlab/show/monad
#圏論
#モナド