# How to define this function on arrows?

I want to solve the following exercise:

Let $U: \mathcal{C}\rightarrow\mathcal{D}$ be a functor, $F:\operatorname{Obj}(\mathcal{D})\rightarrow \operatorname{Obj}(\mathcal{C})$ be a function. Assume that there is a $\operatorname{Obj}(\mathcal{D})$ indexed family $\{\alpha_X\}$ of $\mathcal{D}$-maps $\alpha_X:X\rightarrow U(F(X))$. Now suppose that for all $f:X\rightarrow U(Y)$ in $\mathcal{D}$ there exists a unique $\tilde{f}:F(X)\rightarrow Y$ in $\mathcal{C}$ such that $U(\tilde{f})\circ\alpha_X=f$. Define $F$ on maps to make a functor such that $\{\alpha_X\}$ is a natural transformation.

I had a look on this exercise and thought about the following. Let $g:X\rightarrow Y$ be an arrow in $\mathcal{D}$ then define $F(g)=\tilde{g}$. Is this a good choice and is this choice good enough to end the exercise?

Can someone help me by hints or solution?

Thank you.

-

For $g:D_1\to D_2$ in $\mathcal D$, extend it to $f:=\alpha_{D_2}\circ g:D_1\to UF(D_2)$. By hypothesis, for this arrow there exists a unique $\tilde f:F(D_1)\to F(D_2)$. So, let $Fg:=(\alpha_{D_2}\circ g)^{\tilde{}}$.