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

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

項集合とコゥゼン代数とモナド

モナド リンク メモ その他代数 形式言語理論

項集合代数（termset algebra）＝コゥゼン代数 古い順：

  1. Σコゥゼン σ-順序代数 - 檜山正幸のキマイラ飼育記 メモ編
  2. コゥゼン代数再び - 檜山正幸のキマイラ飼育記 メモ編
  3. コゥゼン代数もっと - 檜山正幸のキマイラ飼育記 メモ編
  4. 項と項集合 - 檜山正幸のキマイラ飼育記 メモ編
  5. term, termset, termset term - 檜山正幸のキマイラ飼育記 メモ編
  6. 項と項集合、もっと - 檜山正幸のキマイラ飼育記 メモ編
  7. 準ツリーと有限豊富条件と項集合代数 - 檜山正幸のキマイラ飼育記 メモ編

項集合とモナド 古い順：

  1. 関手圏によるモデル圏構成、代入系の圏 - 檜山正幸のキマイラ飼育記 メモ編
  2. ウッギャーッ！！ テンプレートを忘れてた - 檜山正幸のキマイラ飼育記 メモ編
  3. モナドと上江州拡張 - 檜山正幸のキマイラ飼育記 メモ編
  4. プログラミング言語概念の定義 - 檜山正幸のキマイラ飼育記 メモ編
  5. モナドと構文と計算 - 檜山正幸のキマイラ飼育記 メモ編
  6. モナドの代数 - 檜山正幸のキマイラ飼育記 メモ編