 In order to interpret Φ as a "natural isomorphism", one must recognize and as functors.In fact, they are both bifunctors from to Set (the category of sets).For details, see the article on hom functors.