自由モノイドと文字列

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

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

台集合

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

ちゃうかも

演算++

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

単位元

空列[-]

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

参考

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

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