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