Por curry se puede pensar en una función de dos variables, $f\colon X\times Y \to Z$ como composición de dos funciones: la primera, dada $x\in X$ tiene una función que envía $x$ a la función $f_x\colon Y\to Z$ y esta función se evalúa en $y\in Y$ dar $f_x(y) = f(x,y)$ .
En $X$ , $Y$ y $Z$ son espacios vectoriales, el conjunto de funciones de $Y$ a $Z$ (escrito $Z^Y$ ) es también un espacio vectorial, por lo que la noción de linealidad tiene sentido para el conjunto de todas esas funciones.
La función $f$ es "bilineal" si y sólo si tanto el mapa $X\to Z^Y$ y los mapas $Y\to Z$ que obtenemos son lineales. Es decir, si y sólo si $f_{x+\alpha x'} = f_x+\alpha f_{x'}$ para todos $x,x'\in X$ y escalar $\alpha$ y para cada $x\in X$ el mapa $f_x\colon Y\to Z$ es lineal. Así que $f$ se obtiene trabajando con dos funciones lineales.
(Simétricamente, se puede pensar en $f$ dada en primer lugar por una función que toma $y\in Y$ a una función $g_y\colon X\to Z$ y esta función se evalúa en $x\in X$ vía $g_y(x) = f(x,y)$ . Otra vez, $f$ es lineal si y sólo si la función $g\colon Y\to Z^X$ es lineal, y las funciones $g_y\colon X\to Z$ son cada uno lineal).
Alternativamente, observe que $f$ es una función de dos variables. La bilinealidad es precisamente la condición "lineal en cada una de las variables por separado". Así que tenemos una función que es lineal en dos formas distintas: en la primera variable y en la segunda variable.
(Espere a llegar a la noción de funciones sesquilineales intentar interpretar "lineal y medio" te dará dolor de cabeza).
Recuerde también que no toda la nomenclatura es necesariamente exacta en cuanto a intuición, y que el significado de algunas palabras ha cambiado a veces desde la época en que se fijó la nomenclatura y la actualidad.
