currying of mapping spaces of locally compact spaces as homeomorphism
1. Proposition
Let ,
and
be topological spaces, such that
is locally compact hausdorff (?)
Then for the mapping spaces equipped with the compact open topology, Currying
is a homeomorphism