Currying doesn’t preserve surjectivity. As a simple example, you can easily find a surjective function 2×2→2, but there are no surjective functions 2→22.
Ah, yes, that makes sense. I got distracted by the definition of Cont(A,B)’s topology
and applied it to surjectivity as well as continuity.
Currying doesn’t preserve surjectivity. As a simple example, you can easily find a surjective function 2×2→2, but there are no surjective functions 2→22.
Ah, yes, that makes sense. I got distracted by the definition of Cont(A,B)’s topology
and applied it to surjectivity as well as continuity.