computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 圏論 代数的構造による圏論 随伴(2) 積関手と冪関手 自由マグマと自由モノイドの関係を使って、随伴(の一部)を説明することができると思ったのですが、まだできていないし、随伴の全体を説明することは難しいと思われるので、また「圏論の道案内 ～矢印でえがく数学の世界～」の「第8章 随伴 ①積と冪との間の関係」に従って説明していくことにします。これ以降この本では可換モノイド、半環、行列などの話題が現れないようですが、これらについても調査していく予定です。 積関手 積を持つ圏 の対象 に対して 任意の対象 に対して対象 任意の射 に対して射 を対応させるものは関手となります。この関手を から への積関手 と呼びます。 冪関手 積… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F07%2F10%2F134738" title="代数的構造による圏論(11) - 非専門的シンギュラリティー研究所" 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-07-10 13:47:38 rich https://computeralgebra.hatenablog.com/entry/2021/07/10/134738 1.0 100%