0956デフォルトの名無しさん
2021/11/17(水) 15:59:19.97ID:oGkdvxh0monadの方はwikiのmonad (category theory)の項があってキッチリ解説されてるし
https://en.m.wikipedia.org/wiki/Monad_(category_theory)
Tがcategory C上のmonadであるときfmap Tをμ。η_Tで定めればコレがfunctor C→Cを定義するのもわかるんだけど、applicativeについておんなじような解説が中々見当たらない
どっかでDescartes closed categoryがどうたらいうのを見た事あるんだけど誰か知りません?