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).
$\begingroup$
$\endgroup$
4
-
$\begingroup$ Why do you think that it makes a difference if you restrict yourself to compactly generated spaces? $\endgroup$– Dominic van der ZypenCommented Dec 12, 2014 at 9:49
-
$\begingroup$ I need $Y^X$ to exist, so I was restricting to a Cartesian closed subcategory. in $Top$, this is only possible if $X$ is core-compact. $\endgroup$– David CarchediCommented Dec 12, 2014 at 17:53
-
$\begingroup$ Well, the function space $X^Y$ can be defined for any topological spaces, inheriting the topology from the product topology.. $\endgroup$– Dominic van der ZypenCommented Dec 13, 2014 at 13:15
-
$\begingroup$ OK, fair enough. I follow the category-theorist convention of only writing $X^Y$ for a genuine internal-hom, that is, something satisfying the correct universal property, but at any rate, there is no risk of confusion in my question, since I restrict to compactly generated spaces, which are Cartesian-closed. $\endgroup$– David CarchediCommented Dec 15, 2014 at 6:08
Add a comment
|