kovaryant funktör 

(mat. funktör) 

mat. 1. (Alm. kovarianter Funktor, m; Fr. foncteur covariant, m; İng. covariant functor) 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(AF, BF) 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(AF, BF) göndermeleri. (i) Her f ? hom(A, B) ve her g ? hom(C, A) için, (f ? g) F = f F * g F olması; (ii) Her A için (1A) F = 1{AF } olması. 2. kovariant funktör.