射到 formula_38集合的函数。柯里化是指从 formula_55映射到 formula_56的 formula_57函数，和从 formula_58之中映射，由 formula_59到formula_56的 formula_61函数，这些组合的自然变换。事实上是这种自然变换关系，阐述了出现在集合论中的指数符号。在集合的范畴论中 formula_52被称为指数物件。
函数空间.在函数空间理论中，如泛函分析或拓扑的同伦，人们通常对拓扑空间之间的连续函数感兴趣。从 formula