From: Nathaniel Wesley Filardo Date: Sat, 3 Mar 2012 16:10:42 +0000 (-0500) Subject: Fix typo found by wren X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=4960442103047594c9f22cbfeaf894868deba440;p=ctcheat Fix typo found by wren --- diff --git a/yoneda.tex b/yoneda.tex index 58fd5c1..9937df0 100644 --- a/yoneda.tex +++ b/yoneda.tex @@ -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