computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 圏論 代数的構造による圏論 このブログでは普通の圏論の本に載っているような図式を書くことができないらしいので、「斜めの線を使わない圏論」では、自由生成モノイド、自由生成可換モノイド、自由生成半環などを構成するような方法で、極限、随伴などを説明することができないか検討していました。圏論の本に載っているような説明は私にはわかりにくいので、別の説明の方法があるかどうか考えていましたが、特に進展はありませんでした。「圏論の道案内」という本では可換モノイド、半環が取り上げられているので、この本を読みながら検討していきます。出版社のサイトにある目次を引用しておきます。 gihyo.jp 第1章 道案内の前に 第2章 圏 ①圏の定義1… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F05%2F19%2F202352" title="代数的構造による圏論(1) - 非専門的シンギュラリティー研究所" 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/41f6GquoyzL._SL500_.jpg Hatena Blog https://hatena.blog 2021-05-19 20:23:52 rich https://computeralgebra.hatenablog.com/entry/2021/05/19/202352 1.0 100%