kontravaryant funktör

- 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

kovaryant funktör

- 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

Rastgele Terim: