Yoneda functor

  1. REDIRECT Yoneda lemma