What are the minimal conditions on three topological spaces $X,Y$ and $Z$ such that with the compact-open topology the map

$${(X^Y)}^Z \to X^{Y \times Z}$$

given by taking adjoints is a homeomorpism. The map sends $f: Z \to X^Y$ to $g:Y \times Z \to X$ by the relation $g(y,z)=f(z)(y)$.

This result is known for $Z$ Hausdorff and $Y$ locally compact. I'm interested in a proposition of the form the adjoint construction is a homeomorphism of mapping spaces if and only if some statement regarding the spaces $X$, $Y$ and $Z$. It would also be interesting to see some counterexamples,for example for Z not Hausdorff,etc.

What are the minimal conditions on three topological spaces $X,Y$ and $Z$ such that with the compact-open topology the map

$${(X^Y)}^Z \to X^{Y \times Z}$$

given by taking adjoints is a homeomorpism. The map sends $f: Z \to X^Y$ to $g:Y \times Z \to X$ by the relation $g(y,z)=f(z)(y)$.

This result is known for $Z$ Hausdorff and $Y$ locally compact. I'm interested in a proposition of the form the adjoint construction is a homeomorphism of mapping spaces if and only if some statement regarding the spaces $X$, $Y$ and $Z$. It would also be interesting to see some counterexamples, for example for $Z$ not Hausdorff, etc.

What are the minimal conditions on three topological spaces $X,Y$ and $Z$ such that with the compact-open topology the map

$${(X^Y)}^Z \to X^{Y \times Z}$$

given by taking adjoints is a homeomorpism. The map sends $f: Z \to X^Y$ to $g:Y \times Z \to X$ by the relation $g(y,z)=f(z)(y)$.

This result is known for $Z$ Hausdorff and $Y$ locally compact. I'm interested in a proposition of the form the adjoint construction is a homeomorphism of mapping spaces if and only if some statement regarding the spaces $X$, $Y$ and $Z$.

What are the minimal conditions on three topological spaces $X,Y$ and $Z$ such that with the compact-open topology the map

$${(X^Y)}^Z \to X^{Y \times Z}$$

given by taking adjoints is a homeomorpism. The map sends $f: Z \to X^Y$ to $g:Y \times Z \to X$ by the relation $g(y,z)=f(z)(y)$.

This result is known for $Z$ Hausdorff and $Y$ locally compact. I'm interested in a proposition of the form the adjoint construction is a homeomorphism of mapping spaces if and only if some statement regarding the spaces $X$, $Y$ and $Z$. It would also be interesting to see some counterexamples,for example for Z not Hausdorff,etc.

Hi, is there something like : $X^{Y \times Z}$ homeomorph to $(X^Y)^Z $ with compact open topologies if and only if "...." with conditions "...." on Z ,Y and maybe X? famous is : Z T2 and Y locally compact => $X^{Y \times Z}$ homeomorph to $(X^Y)^Z $ .

What are the minimal conditions on three topological spaces $X,Y$ and $Z$ such that with the compact-open topology the map

$${(X^Y)}^Z \to X^{Y \times Z}$$

given by taking adjoints is a homeomorpism. The map sends $f: Z \to X^Y$ to $g:Y \times Z \to X$ by the relation $g(y,z)=f(z)(y)$.

This result is known for $Z$ Hausdorff and $Y$ locally compact. I'm interested in a proposition of the form the adjoint construction is a homeomorphism of mapping spaces if and only if some statement regarding the spaces $X$, $Y$ and $Z$.