computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 随伴関手の説明をする前に自由群などについて説明をしておきます。 半群・モノイド・群の定義 集合 と結合律を満たす二項演算(積と呼びます) の組 半群と言います。単位元を持つ半群をモノイドと呼びます。モノイドが任意の元に対して逆元を持つとき群と呼びます。 自由半群・自由モノイド・自由群 文字の集合 に対して、 の元の1個以上の有限個からなる文字列全体の集合を とおきます。 は文字列の連結を演算として半群になります。これを自由半群と呼びます。 自由半群に対して、以下の自由半群の普遍性が成り立ちます。 を半群、 を任意の写像とすると、 を拡張した(上では一致する)半群の準同型(積を保存する写像) を… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F01%2F29%2F013905" title="論理計算と随伴関手(2) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20%5Crequire%7BAMScd%7D%0A%5Cbegin%7BCD%7D%0AX%20%40%3E%3E%3E%20X%20%5C%5C%0A%40VVV%20%40VVV%20%5C%5C%0AX%20%40%3E%3E%3E%20X%20%0A%5Cend%7BCD%7D Hatena Blog https://hatena.blog 2020-01-29 01:39:05 rich https://computeralgebra.hatenablog.com/entry/2020/01/29/013905 1.0 100%