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.