# Currying for dependent functions

Currying and uncurrying is defined between functions in $Z^{X \times Y}$ (the first set) and $\left( Z^Y \right)^X$ (the second set).

But what if $Y$ is not a constant but is dependent on $X$?

The first set would become $Z^{\sum_{i\in X}Y_i}$.

What may be a proper expressing for the second set in the case of dependent $Y$?

-
Does $\Sigma$ refer to the coproduct in $\mathsf{Set}$? –  John Stalfos Apr 13 '12 at 16:07
@John Stalfos: Yes. –  porton Apr 13 '12 at 16:16

the first set: $Z^{\sum_{i \in X} Y_i}$
the second set: $\prod_{i \in X} Z^{Y_i}$