rephrased a bit about the Yoneda lemma