(Alm. Koprodukt, n; Fr. somme, f; coproduit, m; İng. categorical sum; coproduct)
mat. Bir C kategorisinde {A?: ??I} nesne ailesi için aşağıdaki şartı sağlayan S nesnesi ve {??: A? › S, ??I} morfizma ailesinden oluşan (S, ??: A? › S, ??I) sıralı çift: Her B nesnesi ve her {??: A? › B, ??I} morfizma ailesi için ? ° ?? = ?? olacak şekilde tek bir ? S › B morfizması vardır.