Yoneda's lemma
Redirect to:
Yoneda lemma