kontravaryant funktör 

(Alm. Kofunktor, m; kontravarianter Funktor, m; Fr. foncteur contravariant, m; İng. cofunctor; contravariant functor) 

mat. Göz önüne alınan C = (T, hom, ?) ve D = (U,Hom, *) kategorileri için, T deki her A nesnesini U da AF  diye gösterilen bir nesneye dönüştüren, her (A, B) çifti için her f  hom(A, B) morfisini Hom(BF, AF) de fF  diye gösterilen bir morfiye dönüştüren ve aşağıdaki (i) ve (ii) şartlarını sağlayan T ›U, hom(A, B) › Hom(BF, AF) göndermeleri:  (i) Her f  hom(A, B) ve her g  hom(C, A) için, (f ? g)  = g * f  olması;  (ii) Her A için (1A)F  = 1{AF} olması.