/sci/ - Science & Math

>>15044526
i thik i figured it out anon, can i do this?
[math]f:X^{Y\cup Z} \rightarrow X^{Y} \times X^{Z}
\\ g:Y \rightarrow Y \cup Z, \ g(x) = x \\ h:Z \rightarrow Y \cup Z, \ h(x) = x
\\f(x) = (g \circ x, \ h \circ x)
[/math]

this would be the path for gox: [math]Y \rightarrow Y \cup Z \rightarrow X [/math]