2024-04-14 代表的な指標 圏一般論 本編ネタ セオリー論 モノイド 自己関手 モナド 自己関手のランベック代数 モナドのアイレンベルク/ムーア代数 付点自己関手 付点自己関手の“代数” 自己関手対の分配系 モナド対の分配系 自己関手対の分配系の“代数” モナド対の分配系の“代数”