Descartes封闭范畴 Descartes积 在集合的范畴中，Descartes积和映射是伴随的 因此，在编程语言中，我们可以将多元映射（Descartes积），转化为一元映射的复合（映射），这称为Curry化（Currying）