2013-06-18 Cat上でのラムダ計算 圏一般論 計算 Setはデカルト閉圏でラムダ計算ができる。Catもデカルト閉圏だからラムダ計算ができる。だが、単なるデカルト閉圏じゃなくて、(厳密)2-圏だ。2セルである自然変換が計算の主役となる。2-圏におけるラムダ計算てのが必要だと思う。