categorical sum

toplam

1. • matematik
   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; coproduct

   Fransızca somme, f; coproduit, m

   Almanca Koprodukt, n