computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 関数プログラミングの帰納的関数 ChatGPT Option では None を含む式は None となりますが、そうではなくて変数を含む式はそのまま式として残るものを考えていきます。これも ChatGPT で調べていきます。 環に変数を追加して多項式環を作ることの随伴関手はどのようなものですか と入力すると以下の結果となりました。 環 に変数 を追加して多項式環 を作る操作は、環の圏 において左随伴関手を持ちます。この状況を詳しく見てみましょう。 関手の構成 1. 左随伴関手 （多項式環の生成） 環 に対して、新しい変数 を付け加えた多項式環を考える関手: これは、環準同型を変数を保つ形で拡張することで矢印にも作用します。2. 右随伴関手… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F02%2F03%2F204819" title="関数プログラミングの帰納的関数(13) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/31YKFkhs8GL._SL500_.jpg Hatena Blog https://hatena.blog 2025-02-03 20:48:19 rich https://computeralgebra.hatenablog.com/entry/2025/02/03/204819 1.0 100%