Amalgamoitu summa tai koprodukti

⨿ tarkoittaa koproduktia, jota kutsutaan myös amalgamoiduksi summaksi: se on sääntö matemaattisten olioiden yhdistämiseen. Joukkojen tapauksessa tulos on erillinen yhdiste ja ryhmien tapauksessa vapaa tulo.

Tekstisymboli

Mitä ⨿ tarkoittaa

Se yhdistää syötteet yhteisen kuvaussäännön avulla. Jos kummastakin syötteestä on kuvaus samaan kohteeseen, yhdistetystä tuloksesta on täsmälleen yksi niitä vastaava kuvaus.

Muissa yhteyksissä tuloksena on suora summa. Gabriel ja Zisman käyttävät termiä ”amalgamoitu summa” vuoden 1967 teoksessaan.

Älä sekoita tähän

∐

n-arinen koprodukti

Tavallisessa merkintätavassa ⨿ yhdistää kaksi syötettä; ∐ on indeksoidun perheen n-äärinen operaattori. Kirjoittajien käytännöt voivat vaihdella.

Usein kysytyt kysymykset

Tarkoittaako ⨿ samaa kuin tavallinen joukkojen unioni?

Ei. Joukkojen tapauksessa koprodukti on erillinen yhdiste, joka säilyttää tiedon kunkin alkion lähtöjoukosta; tavallinen unioni yhdistää yhteiset alkiot.