doğal eşdeğerlik
-
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, her A ∈ T için ηA nın izomorfi olduğu η doğal dönüşümü.
Eşanlam: doğal izomorfiİngilizce natural equivalence; natural isomorphismFransızca isomorphisme naturel, mAlmanca natürlicher Isomorphismus, m