Monad algebra Monad: について、 monad algebra of とは、 (associative law) (unit law) を満たす代数的構造: のこと。 Eilenberg-Moore category 上記をobjectとするEilenberg-Moore category: を - と同様にして定義できる。 Associated adjunction with…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。