The well known natural
equivalence [R ×S,T]≅[R,Ts], valid in the category of sets and set mappings, can be
derived in various ways in the category of topological spaces and continuous maps,
provided suitable topologies are introduced on the product set R × S and on the
set of all continuous maps from S to T. In this paper we will show how to
construct topologies of this kind. The ordinary product topology on R × S and
the compact-open topology on Ts will be given their proper setting in this
context.