(Alm. duale Kategorie, f; Fr. catégorie duale, f; İng. dual category) Bir (T, hom, ?) kategorisi ele alındığında, her (A, B) nesne çifti için, Hom(A, B) = hom(B, A) ve her (f, g) morfi çift için f * g = g ? f şeklinde tanımlanan morfi aileleri ve morfi bileşkeleri ile kurulan (T, Hom, *) kategorisi; eşanlam: dual kategori.