Data of the form F*(X,Y,Z): hom(XxY, Z) --> hom(XxFY, FZ) appear in the notion of a multilinear functor. See my Multilinear Yoneda Lemmas article in an ancient Springer Lecture Notes in Mathematics. -- Fred +++++++++++++++++++++++++++++