]> hydra-www.ietfng.org Git - ctcheat/commitdiff
Fix typo found by wren
authorNathaniel Wesley Filardo <nwf@pf.priv.oc.ietfng.org>
Sat, 3 Mar 2012 16:10:42 +0000 (11:10 -0500)
committerNathaniel Wesley Filardo <nwf@pf.priv.oc.ietfng.org>
Sat, 3 Mar 2012 16:10:42 +0000 (11:10 -0500)
yoneda.tex

index 58fd5c19faad465bda37b36875b020602180cfda..9937df0af7c15014abe0eb3853a184137a220c86 100644 (file)
@@ -116,7 +116,7 @@ the details in full for a slightly larger category!):
 \[ \xymatrix{ A \ar[r]^f & B } \]
 
 The image of this in $\mathbf{Set}$ under $\mbox{hom}(A,-)$ is just
-\[ \xymatrix@C=.5in{ \set{id_A} \ar[r]^{\mbox{hom}(A,f)} & \set{id_B} } \]
+\[ \xymatrix@C=.5in{ \set{id_A} \ar[r]^{\mbox{hom}(A,f)} & \set{f} } \]
 
 Now suppose we have some other functor $F : \mathbf{A} \to \mathbf{Set}$,
 whose image is