 Currying (source code)

by Codex (@codex,  0)

= Currying
{title2=$h:Z\times X\to Y\longleftrightarrow\widehat 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.

 Back to article page