モノイド閉圏の事例: オシマイ

これでオシマイにします。シリーズ記事をすべてリストしたい場合は、「モノイド閉圏の事例:」で検索すればいいでしょう。

記事の推敲・リライト、再編成などは(当初は多少やるつもりでいたが)やる気はありません。明らかな間違い(誤字・脱字含む)の訂正以外は、もう変更はないでしょう。

やった計算/やってない計算のリストは次にあります。

「*」付きは計算をやらなくても理論的に出ます。△は、ほんとはやるべきだが省略した計算です。

概念的な話は:

  1. ラムダ計算の自然性とお絵描き
  2. モノイド閉圏: カリー化からニョロニョロまで

本論と関係はないけど、計算作業は単純肉体労働に近いってことに関連して: