このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

お絵描きの例題

2016 Mx お絵描き
  1. モナドの法則（公理）の記述
  2. クライスリ結合の定義と法則の証明
  3. アイレンベルク／ムーア代数の法則（公理）の記述
  4. 随伴の定義の記述
  5. 随伴からモナド、コモドが誘導されることの証明
  6. 随伴からメイト同型が誘導されることの証明
  7. ベックの分配法則から複合モナドが誘導されることの証明