普遍代数
普遍代数(universal algebra)
群論の2項演算$ \cdot はアリティが2の演算であるだとか、単位元$ e は0項演算、逆元の$ ()^{-1} は1項演算という考えたら確かにそれっぽいというモノがある
モナドによって代数をとらえるアプローチもあるっぽくてなかなか情報科学に近そうであはある 全然わからないけれどHaskellなどの型理論に近そうな雰囲気があるので読んでて何かワクワクする
確認用
Q. 普遍代数
メモ
Ross Willard : AN OVERVIEW OF MODERN UNIVERSAL ALGEBRA, 2000, pp1-23
調査用
Wikipedia.icon
Wikipedia.icon