Funktor: Porovnání verzí

Definice výše je definice kovariantního funktoru. Kontravariantní funktor je takové zobrazení ''F'', které morfizmu <math>f:CX\to DY</math> kategorie ''C'' přiradí morfizmus <math>F(f):F(DY)\to F(CX)</math> v kategorii ''D'' a platí <math>F(f\circ g)=F(g)\circ F(f)</math>.