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)

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)