contravariant functor

kontravaryant funktör

1. • matematik
   Göz önüne alınan C = (T, hom, ◦) ve D = (U,Hom, *) kategorileri için, T deki her A nesnesini U da A^F diye gösterilen bir nesneye dönüştüren, her (A, B) çifti için her f ∈ hom(A, B) morfisini Hom(B^F, A^F) de f^F 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(B^F, A^F) 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 (1_A)^F = 1_{A^F_} olması.
   Eşanlam:  funktör
   İngilizce cofunctor; contravariant functor

   Fransızca foncteur contravariant, m

   Almanca Kofunktor, m; kontravarianter Funktor, m