#### Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,845

- 17

I guess I've heard it stated in words -- there is a full embedding of C in Funct(C

^{op}, Set). I know what all of the words mean, but I'm not sure if that helps yet.

There's one particular application of it that interests me, and I can't really see how to use it: there's a proof that shows the existance of a natural transformation Hom(_, A) --> Hom(_, B).

From this, they then conclude (by the Yoneda lemma!) that this natural transformation must come from a uniquely determined map A --> B. (The existance of this map is what interests me)

How does that follow?