次の2つの事情からこのエントリーを書きます。 oskimuraさんのコメントに対して、あまりにそっけない対応でちと申し訳ない。 「ラムダ計算、論理、圏」セミナーで、圏の話はほとんど出なかったんじゃないの？ というご指摘に少しだけ応えたい。 「ラムダ計算…