# Natural Transformation between covariant and contravariant functor

Suppose $F: C \rightarrow D$ is a covariant functor and $G: C \rightarrow D$ is contravariant. Does it make sense to define natural transformations $\eta_1 : F \Rightarrow G$ or $\eta_2 : G \Rightarrow F$ or are there any obstructions?

-
Well, no. Some of the arrows point the wrong way in the obvious "commutative diagram" you'd want to write down. – Qiaochu Yuan Mar 15 '12 at 2:58
Natural transformations are only defined between functors of the same type. Since a contravariant functor from $\mathcal{C}$ to $\mathcal{D}$ is really just a functor $\mathcal{C}^\textrm{op} \to \mathcal{D}$, you can't really talk about natural transformations from a functor $\mathcal{C} \to \mathcal{D}$ to $\mathcal{C}^\textrm{op} \to \mathcal{D}$. That said, there is a notion of "extraordinary natural transformation", which in a degenerate case lets you transform a functor $\mathcal{C} \to \mathcal{D}$ to a functor $\mathcal{C}^\textrm{op} \to \mathcal{D}$. – Zhen Lin Mar 15 '12 at 7:25

It does make sense. If $F$ is covariant and $G$ is contravariant, a transformation $F \to G$ is a family of maps $F(x) \to G(x)$ such that for every morphism $x \to y$ the diagram
$$\begin{array}{ccc} F(x) & \rightarrow & G(x) \\ \downarrow && \uparrow \\ F(y) & \rightarrow & G(y) \end{array}$$