m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ モナド 圏一般論 からみ系 可換モノイドによるモノイダルスタンピングモナドから作ったクライスリ圏に対称モノイド積を入れようと試みて、次の等式（つうか同型）が必要になった。少し書き換えてみると：さらに一部と取り出して、整理したら次のようになる。これってベックの分配法則だろう！ また出てきたよ。有向グラフの書き換えだと思うと、「3価（trivalent）のノード1個と4価のノード1個」が「3価のノード1個と4価のノード2個」に変形する。3価ノードは、二項演算または余二項演算（余二項余演算）を表す。4価ノードはベックのスワッパーだ。3価ノードが二項演算または余二項演算を表す状況は物理とかでもやたらに出てくる。フュージョンとか呼… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20101224%2F1293177052" title="ベックの法則にまたまた遭遇！ - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://www.chimaira.org/img2/beck-string-eq-1.gif Hatena Blog https://hatena.blog 2010-12-24 16:50:52 rich https://m-hiyama-memo.hatenablog.jp/entry/20101224/1293177052 1.0 100%