任意のmonad: について・・・ Kleisli adjunction Kleisli category について、 と書くことにすると、functor: と、 を定義できて、 をunit、 をcounitとするassociated adjunction with : を作ることが出来る。 参考文献 Abstract and Concrete Categories: Th…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。