computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 集合 の1個以上有限個の元からなる集合の全体を とおきます。 は和集合を演算とすることにより集合 によって自由生成された自由冪等可換半群と考えることができます。集合 によって自由生成された自由半群 (演算を のように書くことにします)とし、 によって自由生成された自由冪等可換半群 (演算を とします)を考えます。 に積を によって定義することができ、 は冪等可換半環になります。集合 によって自由生成された自由半群 は の元からなる1個以上有限個の文字列の全体として定義することができます(演算を と書きます)。 とおきます。 個の の和からなる を と書くことにします。 となります。 が成り立つ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F02%2F06%2F204838" title="論理計算と随伴関手(5) - 非専門的シンギュラリティー研究所" 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%5C%7B1%5C%7D Hatena Blog https://hatena.blog 2020-02-06 20:48:38 rich https://computeralgebra.hatenablog.com/entry/2020/02/06/204838 1.0 100%