 The above notions of currying and uncurrying find their most general, abstract statement in category theory.Currying is a universal property of an exponential object, and gives rise to an adjunction in cartesian closed categories.That is, there is a natural isomorphism between the morphisms from a binary product formula_52 and the morphisms to an exponential object formula_140.