Secondly, what do you mean by turn \$$F\$$ around? We have \$$F\$$ is a functor \$$F\colon \mathcal{C}\to \textbf{Set}\$$, so what type of thing do you mean by \$$G\$$ and how is it defined?