toplam
-
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.
İngilizce categorical sum; coproductFransızca somme, f; coproduit, mAlmanca Koprodukt, n