記法 Under category (Coslice category) *1 Error monad Functor: と forgetful functor: について *2 となるが、この adjunction の associated monad が error monad。 Error monad transformer Adjunction からの monad transformer - PS から functor: …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。