2013-06-19 型付きラムダ計算の一般化 圏一般論 計算 高次圏論 プログラム意味論 あとで本編に書く(たぶん)。 高次元化(少なくとも2次元化) 非対称化(関手結合をテンソル積とみなす) 内部積(モノイド積)から作用積(テンソリング、余パワー)へ 部分的な指数