in category theory, relations play an important role in the cartesian closed categories, which transform morphisms from tuples to morphisms of single elements. that corresponds to currying in the lambda calculus.