natural transformation
doğal dönüşüm
-
Bir C = (T, hom, ◦) kategorisinden D = (U, Hom, *) kategorisine gönderme yapan F: C → D ve G: C → D kovaryant funktörleri ele alındığında, T deki her A nesnesine bir ηA: Hom(AF, AG) morfisi eşleyen ve her A, B ∈ T ve her f ∈ hom(A, B) için f G * ηA = ηB * f F eşitliğini sağlayan ve η: F → G simgesiyle gösterilen η = {ηA: A ∈ T} fonksiyonlar ailesi.
Eşanlam: kanonik dönüşümİngilizce natural transformationFransızca transformation naturelle, fAlmanca natürliche Transformation, f