m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 モノイド圏 ベックの法則の定式化がけっこう分かってきた。これはさすがに書いておかないとな。忘れるからな。基本的に（メンタルに）想定しているのは多元環Rと加群Mなんだが、モノイドとモノイド作用なら何でも同じこと。ここでは、モノイド構造さえ考えないでマグマを使う。モノイド圏を固定して、そのなかで考える。×はモノイド積で、繰り返し積は累乗形式で示す。Rn→R というn項演算を備えた対象をn-マグマと呼ぶ。より一般に、(2, 4)-マグマとは、2項演算と4項演算を備えたもの。(0-2)-マグマは、0項から2項までの演算を備えたマグマ。すべての非負整数kに対してk-マグマになっている構造を公平なマグマ（unbias… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20091127%2F1259304758" title="公平なマグマ、ベックの法則 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-11-27 15:52:38 rich https://m-hiyama-memo.hatenablog.jp/entry/20091127/1259304758 1.0 100%