愛想モルフィズム

見切れている数式はスライドで表示できます． この記事では は0を含まないとし、通常の積について単位元1をもつモノイドだと考える．この記事はまずはじめに形式的な議論を述べ，次に例と考察を与える． 本論 を単位元 をもつモノイドとし，その演算を とする． の自由群を とし，その群としての演算を便宜上 と表す．ここ…