Proof of Yoneda's lemma in category theory. \begin{diagram}[tight] \Hom(A,A) & & \rTo^{\Hom(A,f)} & & \Hom(A,X) \\ & \scriptstyle\id_A & \rMapsTo & \scriptstyle...
