Constructing counit in adjoint functor theorem for total categories The theorem I am referring to is,

Let $C,$ $D$ be locally small categories. Assume $C$ is a total category (i.e. the Yoneda functor $Y : C \to \operatorname{PreSh}(C)$ has a left adjoint $Y^L$). Let $F:C \to D$ be a functor which preserves colimits. Then $F$ has a right adjoint.

The candidate right adjoint is $G := Y^L \circ F^{fra}$, where $F^{fra}$ is the formal right adjoint of $F$. It remains to construct the unit and counit of the adjunction and check the triangle identities for adjunction (i.e. leave them as an exercise for the reader). For this one explicitly calculates $G$ as,
\begin{align*} G(y)= \operatorname{colim}_{w \in C, z \in Hom_{D}(F(w),y)} w. \end{align*}
For brevity I'll denote the above colimit by $\operatorname{colim}_{w,z} w$, so $G(y)= \operatorname{colim}_{w,z} w $. It's clear to me how the unit is constructed, however I'm stuck on the construction of the counit. It is argued that
\begin{align*} 
\forall y \in D\ Hom_D(FG(y),y) &= Hom_D(F( \operatorname{colim}_{w,z} w),y)\\
&=Hom_D( \operatorname{colim}_{w,z} F(w)),y)\\
&=\lim_{w,z} Hom_D ( F(w),y).
\end{align*}
It is then claimed that $\forall w \in C$ there is a canonical element in $\lim_{w,z} Hom_D ( F(w),y)$ assigning each $z \in Hom_D ( F(w),y)$ to itself. This is the claim giving me trouble. The best I can come up with is that for fixed $w$ there are projection maps $p_{w,z}: \lim_{w,z} Hom_D ( F(w),y) \to Hom(Fw,y)$ for each $z \in Hom(Fw,y)$. Fixing an element $a \in \lim_{w,z} Hom_D ( F(w),y)$ we get a map $z \mapsto p_{w,z(a)}$ from $Hom(Fw,y)$ to itself. But I don't see why there should be an $a$ such that this map is the identity.
I'd be really grateful if anyone could help me out here ( any references to a proof of this would also be great). Thanks!
EDIT:
From what I've understood from Idéophage's comment:
By the previous argument,
$Hom_D(FG(y),y)= lim_{w,z} Hom_D(F(w), y)$.
Because this limit is in set it can be explicitly calculated as,
\begin{equation} Hom_D(FG(y),y) = \{(\alpha_{w,z}) | w \in C, z \in Hom_D(Fw,y)  \ \text{and} \ \forall \alpha_{w',z'} \in (\alpha_{w,z}) \text{"satisfy some compatibility relation"}\}. \end{equation}
I think the map suggested in the comments $z \to (\alpha_{w,z})_{w}$ would require $lim_{w}$ instead of $lim_{w,z}$ ( as mentioned in the comments).
 A: You seem to have confused yourself by abbreviating the variables of the limit. What's happening is that the variable $w\in C$ specifies that the morphisms in the diagram come from morphisms $w_1\to w_2\in C$, while the variable $z\in Hom_D(F(w),y)$ indicates that each object has as many copies as elements of $Hom_D(F(w),y)$, and that these are labeled by those elements, and which have a morphism from one to the other coming from a morphism $w_1\to w_2\in C$ if one is in the image of the other under the corresonding pre-composition function $Hom_D(F(w_2),y)\to Hom_D(F(w_1),y)$.
Thus, an element of $\lim_{w\in C,z\in Hom_D(F(w),y)} Hom_D ( F(w),y)$ is a family of elements of $Hom_D((F(w),y)$, one for each element $z\in Hom_D(F(w), y)$, that are compatible in the sense that for any $g\colon w_1\to w_2$, the pre-composition function $Hom_D(Fg,y)\colon Hom_D((F(w_2),y)\to Hom_D((F(w_1),y)$ sends the element associated to $z\in Hom_D(F(w_1),y)$ to the element associated to $Hom_D(Fg,y)(z)$. Tautologically, associating to each $z\in Hom_D(F(w),y)$ the element of $Hom_D(F(w),y)$ that is itself, gives a family satifsying the condition, and thus a (tautological) element of $\lim_{w\in C,z\in Hom_D(F(w),y)} Hom_D ( F(w),y)$.
By the way, what you're actually proving is a part of the fact that the above colimit formula (or rather, its post-composition with the colimit-preserving F) produces a left Kan extension of $F$ along itself. Left Kan extensions produced by such colimit formulas are by definition the pointwise left Kan extensions, so that's the keywords to look up for more information about the argument you're doing.
