時間が余ったら、って、甘い！

• イータ変換までやるかな、それと、大きなラムダの基本概念とか - 檜山正幸のキマイラ飼育記 メモ編

時間が余ったらイータ変換とか、それは無理だ。やってみて分かったな。

イータ変換ってば、関数の外延性（つうか、形式理論のなかの等号を外延的に解釈できるってこと）とか、圏論的ラムダオペレータの可逆性を保証するとか、いくつかの側面があるし。外延性が成立しない例を出すとか、項書き換えによる同値性とか、、、

冷静にちゃんと考えてみると、これだけでも90分だろうな。