代数と余代数がわからん
代数と余代数がわからん
Summer498.icon
代数と余代数がわからん
これを見ると
矢印の根本が同じやつが余代数
矢印の先が同じやつ代数
って感じがするが、本当だろうか？
Wikipedia の余代数の説明がモノイドの双対っぽい感じがする
余結合律 余単位律
単位律の可換図式を調べると余単位律が双対（矢印が逆）になってる
結合律の可換図式が五角形になっていて、余結合律（四角形）との双対性を見いだせない……。
余代数がオブジェクト指向や状態機械と関連するようだが、関連性がわからん
状態を持つ計算の設計がくっそ苦手なので余代数でもなんでもいいからヒントを掴み取りたい
可換図式において、$ g\circ fは「合成」というより「新しいやつ」と捉えると直感と合う
「合成」というと、関数合成の計算で$ fしてから$ gするという感じがする
図式の中では$ fの矢印を通って$ gの矢印を通るパスの方が「合成」感を感じる
$ g\circ fがショートカットに見えるのが合成感をあまり感じられない原因かしら
$ h:=g\circ fみたいに新しい文字を用意して代入する感じに見える
まあ、慣れたら気にならなくなるんだろうけど
合成に相当する演算と、恒等律と、結合律を確認するのが一番大事
圏っぽくない圏、射っぽくない射に気づけるようになりたい