カン拡張とラムダ計算の関係をはじめて意識したのは2013年のことです。以下の記事に書いてあります。 右カン拡張が、自然変換のラムダ計算における指数型らしい件 次の絵が2013年記事にあります。このとき、次のようなことを言ってます。 runは自然変換です…