See here

Can be used to prove that the Yoneda embedding is an embedding.