Definition 4.3.2. Let $\mathcal{C}$, $\mathcal{S}$ be categories. A contravariant functor $F$ from $\mathcal{C}$ to $\mathcal{S}$ is a functor $\mathcal{C}^{opp}\to \mathcal{S}$.

There are also:

• 10 comment(s) on Section 4.3: Opposite Categories and the Yoneda Lemma

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).