上江州ラムダ

上江州さんが使っていたラムダは、チャーチのラムダとは別で、関数抽象はしない。やることは：

1. 引数変数から名前を奪う。v→射をCの射にする。
2. 式（項）の射としての定義域をハッキリとさせる。

チャーチのラムダはデカルト閉圏でないと使えないが、上江州ラムダはデカルト圏で意味を持つ。いや、単なるモノイド圏でもOK。非対称なモノイド圏でさえ使えるだろう。とりあえず、Katyの形式化でウエス（上江州）ラムダを使おう。