以前、セミナーでの説明のために、「大きなラムダ式／小さなラムダ式」という記法を使いました。その後も使ってますが、けっこう具合がいいです。紹介しておきます。大きなラムダ式は圏の射をそのまま表し、小さなラムダ式は指数対象への射を表します。次の…