モナドから
代数の基底対象と代数の構造射を 抽出して
結合律 単位元律 が 可換
を Tー代数とする
強力なのかな T-代数
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。