2014-12-11から1日間の記事一覧
戦略 任意の monad: について Universal associated adjunctions - PS より少なくとも二通りの -associated adjunction: が作れたので Adjunction からの monad transformer - PS より functor: を作ることが出来る。 問題点 上記の functor の domain が に…
戦略 任意の monad: について Universal associated adjunctions - PS より少なくとも二通りの -associated adjunction: が作れたので Adjunction からの monad transformer - PS より functor: を作ることが出来る。 問題点 上記の functor の domain が に…