Engelska:
http://en.wikipedia.org/wiki/Coproduct.
Det är alltså en dual (i kategoriteorins bemärkelse) operation. Dvs, den uppfyller den universella egenskapen hos vanliga produkten, fast med alla pilar vända åt andra hållet.
För vanliga produkter så karakteriseras de av följande egenskap:
Låt A och B vara objekt i en kategori. Antag att det finns ett objekt C, tillsammans med morfismer pi_a: C -> A och pi_b: C -> B, med följande egenskap:
Om D är något annat objekt, och det finns morfismer a: D->A och b: D->B, så existerar en unik morfism f: D -> C sådant att a = pi_a f, b = pi_b f.
I sådana fall kallar vi C för produkten av A och B. (Man kan visa att sådana C är unika upp till isomorfi).
Som en övning så kan du fundera på t.ex. varför kartesiska produkten är en produkt (med ovanstående definition) i kategorin av mängder.
Koprodukten är bara samma sak, fast tvärtom (vänd håll på alla morfismer).
