@EdoardoLanari I mean, there are arguments like the one you find on the
nlab, but the argument there explicitly uses that your convenient category of spaces is cartesian closed. So I regard this argument as using the convenient category in an essential way. I'm in the dark as to how you'd do this if you didn't know about the convenient category.