Since $\bigvee _{y\in Y}\webleft (X,x_{0}\webright )$ is defined as the quotient of $\coprod _{x\in X}Y$ by the equivalence relation $R$ generated by declaring $\webleft (x,y\webright )\sim \webleft (x',y'\webright )$ if $y=y'=y_{0}$, we have, by 
, , a natural bijection
\[ \mathsf{Sets}_{*}\webleft (X\rhd Y,Z\webright ) \cong \textup{Hom}^{R}_{\mathsf{Sets}}\webleft (\coprod _{X\in X}Y,Z\webright ), \]
where $\textup{Hom}^{R}_{\mathsf{Sets}}\webleft (X\times Y,Z\webright )$ is the set
\[ \textup{Hom}^{R}_{\mathsf{Sets}}\webleft (\coprod _{x\in X}Y,Z\webright )\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft\{ f\in \textup{Hom}_{\mathsf{Sets}}\webleft (\coprod _{x\in X}Y,Z\webright )\ \middle |\ \begin{aligned} & \text{for each $x,y\in X$, if}\\ & \text{$\webleft (x,y\webright )\sim _{R}\webleft (x',y'\webright )$, then}\\ & \text{$f\webleft (x,y\webright )=f\webleft (x',y'\webright )$}\end{aligned} \webright\} . \]
However, the condition $\webleft (x,y\webright )\sim _{R}\webleft (x',y'\webright )$ only holds when:
-
We have $x=x'$ and $y=y'$.
-
We have $y=y'=y_{0}$.
So, given $f\in \textup{Hom}_{\mathsf{Sets}}\webleft (\coprod _{x\in X}Y,Z\webright )$ with a corresponding $\overline{f}\colon X\rhd Y\to Z$, the latter case above implies
\begin{align*} f\webleft (\webleft [\webleft (x,y_{0}\webright )\webright ]\webright ) & = f\webleft (\webleft [\webleft (x',y_{0}\webright )\webright ]\webright )\\ & = f\webleft (\webleft [\webleft (x_{0},y_{0}\webright )\webright ]\webright ), \end{align*}
and since $\overline{f}\colon X\rhd Y\to Z$ is a pointed map, we have
\begin{align*} f\webleft (\webleft [\webleft (x_{0},y_{0}\webright )\webright ]\webright ) & = \overline{f}\webleft (\webleft [\webleft (x_{0},y_{0}\webright )\webright ]\webright )\\ & = z_{0}. \end{align*}
Thus the elements $f$ in $\textup{Hom}^{R}_{\mathsf{Sets}}\webleft (X\times Y,Z\webright )$ are precisely those functions $f\colon X\times Y\to Z$ satisfying the equality
\[ f\webleft (x,y_{0}\webright )=z_{0} \]
for each $y\in Y$, giving an equality
\[ \textup{Hom}^{R}_{\mathsf{Sets}}\webleft (X\times Y,Z\webright )=\textup{Hom}^{\otimes ,\mathrm{R}}_{\mathsf{Sets}_{*}}\webleft (X\times Y,Z\webright ) \]
of sets, which when composed with our earlier isomorphism
\[ \mathsf{Sets}_{*}\webleft (X\rhd Y,Z\webright ) \cong \textup{Hom}^{R}_{\mathsf{Sets}}\webleft (X\times Y,Z\webright ), \]
gives our desired natural bijection, finishing the proof.
