% Author: Ika % Date: 08/13/2015 % Use PDF2SVG to generate the SVG version. \documentclass{amsart} \usepackage[paperwidth=440pt, paperheight=230pt, top=0cm...
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...
