Contravariant Functor as covariant $F: C^{op} \rightarrow D$

category-theory

I've been having trouble understanding Contravariant functor as being functor from $C^{op}$.

I understand the below definition well(https://en.wikipedia.org/wiki/Functor):

enter image description here

But the definition I do not get is

enter image description here

In particular, I'm confused as to why we are defining $Ff$ where $f: c \rightarrow c' \in C$, when $F$ is a functor from $C^{op}$.

Shouldn't we define $F f^{op}$ where $f^{op}: c \rightarrow c' \in C^{op}$?

Maybe I'm overcomplicating thing, but it seems odd to me that we are defining $F: C^{op} \rightarrow D$ by defining what $F$ does to morphism in $C$, rather than $C^{op}$.

Thanks for your help!

Best Answer

Note that $f: c \rightarrow c'$ is an arrow in $C$ if and only if $f^{\text{op}}: c' \rightarrow c$ is an arrow in $C^{\text{op}}$, so defining $F$ on arrows in $C$ is equivalent to defining $F$ on arrows in $C^{\text{op}}$.

Related Question