covariant functor

kovaryant 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(A^F, B^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(A^F, B^F) 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 (1_A) ^F = 1_{A^F _} olması.
   Eşanlam:  funktör
   İngilizce covariant functor

   Fransızca foncteur covariant, m

   Almanca kovarianter Funktor, m