Huh. I mean the Functor \\(F' : C^{OP} \to D^{Op}\\) is straight forward but I'm not sure \\(F^OP\\) as defined above always exists.