モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？
モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？
自己関手の圏におけるモノイド対象
いにしえのHaskellジョーク(2009)nishio.icon
haskell - A monad is just a monoid in the category of endofunctors, what's the problem? - Stack Overflow
One Div Zero: A Brief, Incomplete, and Mostly Wrong History of Programming Languages
https://gyazo.com/45d75bfe76bbb59ffb0902ec06f4e3b4
Categories for the Working Mathematician - Saunders Mac Lane - Google Books