Note that one can also define a contravariant functor as a covariant functor on the opposite category C o p {\displaystyle C^{\mathrm {op} }} .
Σημειώστε ότι κανείς, μπορεί επίσης να ορίσει έναν ανταλλοίωτο συναρτητή ως συναλλοίωτο συναρτητή στην αντίθετη κατηγορία C o p {\displaystyle C^{\mathrm {op} }} .