マグマ - pogi-log

マグマ

マグマ(magma)

抽象代数学におけるマグマ（英: magma）または亜群（あぐん、groupoid）

足し算あるいはかけ算という二項演算を扱える代数構造

集合$ M とその上の二項演算 $ M × M → M からなる組

演算が閉じている

Haskellだと

code:magma.hs

-- x <> y <> z

class Magma a where

(<>) :: a -> a -> a

https://gyazo.com/57725b2d4385b1913c769ece522b33bb

確認用

Q. マグマ

参考