**Background**


I am reviewing some category theory, which I did not learn too well the first time around. One text I am using is Mac Lane's. Near the beginning of the chapter on adjunctions (pg 80), 
he gives the basic definition of an adjunction $<F,G,\phi>$ ($G$ right-adjoint to $F$) in terms of the natural isomorphism $\phi$:
$$
\phi\_{x,a}:A(Fx,a)\cong X(x,Ga)
$$
Of course, this is not explicitly defined in general, since it depends on the particular adjunction.


Anyway, just on the next page, he begins to motivate and establish the definition of the unit, $\eta\_x$. Taking $a=Fx$ above, we have
$$
\phi\_{x,Fx}:A(Fx,Fx)\cong X(x,GFx).
$$
So, Mac Lane defines 
$$
\eta\_x=\phi(1\_{Fx}):x\rightarrow GFx
$$
and claims that by "Yoneda's Proposition III.2.1, this $\eta\_x$ is a universal arrow".


My confusion begins here. In terms of the variables we have used above, it states that, given a functor $G:A\rightarrow X$, an arrow $\eta\_x:x\rightarrow GFx$ is universal from $x$ to $GF$ if and only if the function specified by the mapping 
$$
f':Fx\rightarrow a \quad\longmapsto \quad Gf'\circ \eta\_x
$$ 
is a natural bijection (in $a$):
$$
A(Fx,a)\cong X(x,Ga)
$$


Note that I abridged slightly the proposition, taking the relevant part.


**Question**


Our adjunction isomorphism $\phi$ does not necessarily involve the assignment above. (Or am I missing something?) So how can Mac Lane use this proposition to establish the universality of $\eta\_x$?


Thanks, sorry if it is something trivial.



Basic category theory: Universality of adjunction unit is justified by Yoneda Proposition in Mac Lane's text
By Yoneda for every natural transformation $\tau \colon \mathbf C(c,-) \to F$, where $F \colon \mathbf C \to \mathbf{Set}$ and $\mathbf C(c,-)$ is the covariant $\hom$-functor, is a family of functions of the form


$$\tau\_x \colon \mathbf C(c,x) \to F(x)$$
such that $\tau\_x(f)=F(f)\circ \eta\_x$ for every $f \in \mathbf C(c,x)$ (where $\eta\_x=\tau\_x(1\_x)$).


By properties of natural transformations for $\mathbf {Set}$-valued functors a $\tau$ as above is a natural isomorphism if and only if all the $\tau\_x$ are bijection. This amounts to say that for every $x \in \mathbf C$ and every $\alpha \in F(x)$ there exists a unique $f \colon c \to x$ in $\mathbf C$ such that $$\alpha=\tau\_x(f)=F(f)(\eta\_x)$$.


In the present case where $\mathbf C= A$ and 
$$F=\mathbf X(x,G(-))\colon \mathbf A \to \mathbf {Set}$$
by what previously said the natural morphism $\varphi\_{x,-} \colon \mathbf A(F(x),-) \cong X(x,G(-))$
is such that for every $a \in A$ and $f \in A(F(x),a)$ we have 
$$\varphi\_{x,a}(f)=X(x,G(f))(\eta\_x) = G(f) \circ \eta\_x\ .$$
This is an isomorphism such if and only if for every $g \in X(x,G(a))$ there's a unique $f \in A(F(x),a)$ such that $G(f)\circ \eta\_x = g$, and this is exactly the universal property.


Hope this helps.


