ryamada https://blog.hatena.ne.jp/ryamada/ ryamadaのコンピュータ・数学メモ https://ryamada.hatenadiary.jp/ R 圏論 Haskell Haskellの手習いをしている 圏をわかるために、数学っぽくない例を挙げているサイトを参考にしている その中の、行列の圏とあみだくじの圏とを併せてみよう あみだくじの圏で「結合」というのは、本数が等しいあみだくじを連結すること 連結がうまくいくっていうのが、圏としてワークしていること、と言い換えてもよいのだろう あみだくじは、より小さいあみだくじの連結、ということなので、できるだけ小さくすると あみだの横棒１本が「交換を伴う」最小単位であることがわかる それは、n本のあみだの1:nについて、隣り合う２本の入れ替えに相当する そのような交換はnxn単位行列の2列を入れ替えたもの あみだ全体は、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fryamada.hatenadiary.jp%2Fentry%2F20120216%2F1329364552" title="あみだくじを分解する - ryamadaのコンピュータ・数学メモ" 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 2012-02-16 12:55:52 rich https://ryamada.hatenadiary.jp/entry/20120216/1329364552 1.0 100%