モニャドセミナー4 資料 抜粋 ＋ 追加 - 檜山正幸のキマイラ飼育記 メモ編も参照。 足し算ぽい：ブーリアンのOR演算 -- 足し算ぽいね、うんうん 足し算ぽい：集合の合併 -- 以下同様 足し算ぽい：max, min 足し算ぽい：特に平坦束、この圏の線形写像はなにか…