A contravariant functor F: C → D is like a covariant functor, except that it "turns morphisms around" ("reverses all the arrows").
Ένα contravariant functor Φ: Γ → Δ, είναι όπως ένα covariant functor, εκτός από το ότι «αντιστρέφει τους μορφισμούς» («αντιστρέφει όλα τα βέλη»).