Yoneda Lemma

Also see

 * Yoneda Embedding Theorem
 * Uniqueness of Representing Objects