自由モノイドと文字列 - mrsekut-p

自由モノイドと文字列

#圏論とプログラミング

自由モノイドと文字列

自由モノイドの定義と合わせてみる

文字の集合$ \Sigma 上の自由モノイド$ \Sigma^\ast =(|\Sigma^\ast|,\diamond ,[-]) とは

台集合

$ |\Sigma^\ast|=\{"", "a", "b", "c"\}

ちゃうかもmrsekut.icon

演算$ ++

$ "a"++"b"\coloneqq "ab"

単位元

空列$ [-]

$ [b_1]\diamond [-] = [b_1]

参考

http://bitterharvest.hatenablog.com/entry/2018/02/02/100008

自由モノイドが普遍性であることを示す

https://blog.miz-ar.info/2019/02/monoid-for-haskellers/

http://eed3si9n.com/herding-cats/ja/Free-monoids.html

http://algebranote.blogspot.com/2014/10/blog-post_15.html

https://www.slideshare.net/sinya8282/an-introduction-to-eilenbergs-variety-theorem