1
$\begingroup$

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$?

  • 0
    @John Stalfos: Yes.2012-04-13

1 Answers 1

3

It seems that I found a solution myself:

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

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