As far as I am concerned the Yoneda is either the statement that NT(Hom(A,-),F) iso FA (naturally in A and F) of else the special case when F is also representable. The latter is probably the way Yoneda stated it. The rest is the Grothendieck construction or something. Michael ==============================================================================