2
$\begingroup$

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).

$\endgroup$
4
  • $\begingroup$ Why do you think that it makes a difference if you restrict yourself to compactly generated spaces? $\endgroup$ 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$ 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$ 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$ Dec 15, 2014 at 6:08

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.