generated at
強モナド
4つ組(T,\eta,\mu,\theta)のこと
モナド(T,\eta,\mu)
ストレングス\theta_{A,B}:A\times TB\to T(A\times B)
これは自然変換


例
集合の圏Set上のモナドは全て強モナド


Readerモナドと継続モナドは強モナド？
ReaderじゃなくてCodensityモナドの方？
>In fact, probably the most general monad from a practical standpoint is Reader. ~ ref
↑この文章から先にそれっぽいことが書いてあるがどの2つのことを指しているのか曖昧


https://m-hiyama-memo.hatenablog.jp/entry/20160820/1471664659
https://m-hiyama.hatenablog.com/entry/20130528/1369700155
https://blog.miz-ar.info/2018/12/applicative-functor/#i-10
http://ziphil.com/diary/mathematics/40.html

http://blog.sigfpe.com/2023/08/what-does-it-mean-for-monad-to-be-strong.html
hs
Strong Monad