強モナド
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