Currying ($h:Z\times X\to Y⟷\hat{h}:Z\to Y^X$)

Currying transforms a morphism of two variables into a morphism taking values in an exponential object. The evaluation map of an exponential object recovers the original morphism. Its categorical universal property requires naturality and uniqueness, not just an underlying set bijection.