exponential object

在范畴Set中，exponential object $Z^Y$就是exponential set，即函数$Y\to Z$的集合；函数eval就是求值函数；给定$g:X\times Y\to Z$，$\lambda g$就是$g$对X进行Curry化后的函数。