Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

Im mathematischen Teilgebiet der Kategorientheorie ist der Begriff des Koproduktes eine Verallgemeinerung der so genannten disjunkten Vereinigung von Mengen.

Definition

Sind X_j Objekte einer Kategorie C, so heißt ein Objekt X zusammen mit Morphismen i_j: X_j → X Koprodukt der X_j, geschrieben

,

falls die folgende universelle Eigenschaft erfüllt ist:

Für jedes Objekt Y von C und Morphismen f_j: X_j → Y gibt es genau eine Abbildung f: X → Y, so dass f_j = fi_j für alle j gilt.

Äquivalent dazu kann man fordern, dass

gilt; dabei vermitteln die i_j die natürliche Äquivalenz.

Beispiele

Kategorie	Koprodukt
Mengen	disjunkte Vereinigung
Gruppen	freies Produkt
Vektorräume	direkte Summe
abelsche Gruppen
Moduln über einem Ring
topologischen Räume	disjunkte Vereinigung mit der offensichtlichen Topologie
kommutative Ringe mit Einselement	Tensorprodukt