ちなみに型付きラムダ計算での定義は、

8:21 AM

対象は、型付ラムダ計算の型の有限列。

8:23 AM

射は、プログラムの同値類列、

1

8:23 AM

で定義してました。