Let $X$,$Y$, and $Z$ be (compactly generated) spaces. Suppose $f:Z \to Y^X$ is a local homeomorphism. How can we tell this from its adjoint $\tilde f:Z \times X \to Y$? I.e., I want a property $P$ such that $f$ is a local homeomorphism if and only if $\tilde f$ has property $P$ (and I don't want this to be a tautology).
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
1
|
|
|
|
