コパスタ余会ネタ
モニャドセミナー4 資料 抜粋 ＋ 追加 - 檜山正幸のキマイラ飼育記 メモ編も参照。
- 足し算ぽい：ブーリアンのOR演算 -- 足し算ぽいね、うんうん
- 足し算ぽい：集合の合併 -- 以下同様
- 足し算ぽい：max, min
- 足し算ぽい：特に平坦束、この圏の線形写像はなにか？
- 足し算ぽい：集合、部分写像、関係圏に共変べき関手を作用させて作った圏。なんでも線形。素朴な型構成子
- 足し算ぽい：削除の代数
- 足し算じゃないぞ：代入作用
- 足し算じゃないぞ：文字列（データなんでも）連接
- 余足し算：まずは対角
- 余足し算：非決定性写像圏で、だいたい公平なchoice
- 余可換な余作用：だいたい公平なchoiceと、間抜けな例外キャチャー
- 余足し算じゃないぞ：部分写像（を含む）圏で、だいたい不公平な片側choice
- 非余可換な余作用：だいたい不公平なchoiceと、ちゃんとした例外キャチャー
- 参考：フロベニウス代数法則
- 本命：余代数法則（名前がないのか？） あやとり法則（coined by 檜山）
- 本命：余代数、余加群のあやとり法則
