Recall from **Definition 3.26** that every category \\(\mathcal{C}\\) has an opposite \\(\mathcal{C}^{op}\\).
Let \\(F : \mathcal{C} \rightarrow \mathcal{D} \\) be a functor.
How should we define its opposite, \\(F^{op} : \mathcal{C}^{op} \rightarrow \mathcal{D}^{op} \\)?
That is, how should \\( F^{op} \\) act on objects, and how should it act on morphisms?

[Previous](https://forum.azimuthproject.org/discussion/2166)
[First in Chapter](https://forum.azimuthproject.org/discussion/2130)