Keywords: YonedaLemma-02.png Math Proof of Yoneda's lemma in category theory TeX source \begin diagram tight \Hom A A \rTo \Hom A f \Hom A X \\ \scriptstyle\id_A \rMapsTo \scriptstyle f \\ \dTo< \Phi_A \dMapsTo \dMapsTo \dTo> \Phi_X \\ \scriptstyle u \rMapsTo \scriptstyle Ff u \Phi_X f \\ F A \rTo_ Ff F X \\ \end diagram Commutative diagrams |