PS

Monad からの monad transformer

圏論 Monad Adjunction

戦略

任意の monad:

  • (T, \eta, \mu) : \mathcal{C} \to \mathcal{C}

について Universal associated adjunctions - PS より少なくとも二通りの T-associated adjunction:

  • (F \dashv U) : \mathcal{C} \to \mathcal{D}

が作れたので Adjunction からの monad transformer - PS より functor:

  • U(\unicode{x2013})F : \mathcal{Mnd}(\mathcal{D}) \to \mathcal{Mnd}(\mathcal{C})

を作ることが出来る。

問題点

  • 上記の functor の domain が \mathcal{Mnd}(\mathcal{C}) になっていない。

なのでどうにか \mathcal{C} 上の monad を \mathcal{D} 上の monad に変換しないといけないが、 T が writer monad や reader monad なら可能ということらしい。

参考文献