自己関手の圏におけるモノイド対象
Haskellのやつ
自己関手
は、
関手
のうち自分自身の圏に戻るような関手
関手
$ F
があったときに、自分自身の圏に戻るようなものが自己関手なので
$ F : C \to C
のようになる。
https://togetter.com/li/525929
ここでいうモノイドはモノイドの性質を持つ
関手
のことらしい
恒等モナド
自己関手
まとめPDF
http://www.tatapa.org/~takuo/monad/monad.pdf
Hask圏
/villagepump/モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？
確認用
Q. 自己関手
Q. 自己関手の圏
Q. モノイド対象
メモ
打倒！「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」
調査用
/pogi-log/Google.icon
自己関手の圏におけるモノイド対象(日)
/pogi-log/Google.icon
A monad is just a monoid in the category of endofunctors, what's the problem?(英)
/pogi-log/Wikipedia.icon
自己関手の圏におけるモノイド対象 - Wikipedia(日)
自己関手の圏におけるモノイド対象(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
monad is just a monoid in the category of endofunctors, what's the problem? - Wikipedia(英)
A monad is just a monoid in the category of endofunctors, what's the problem?(検索) - Wikipedia(英)