Produkt und Koprodukt

In der Kategorientheorie sind Produkt und Koprodukt zueinander duale Konzepte, um Familien von Objekten einer Kategorie ein Objekt zuzuordnen. Dualität zweier Begriffe bedeutet, wie in der Kategorientheorie üblich, dass ein Begriff aus dem jeweils anderen durch Umkehrung der Morphismenpfeile entsteht, wie an unten angegebenen Definition leicht zu erkennen ist. Beide lassen sich nur bis auf natürliche Isomorphie eindeutig definieren. Das Produkt entsteht aus einer Verallgemeinerung des kartesischen Produkts und das Koprodukt aus einer Verallgemeinerung der (äußeren) disjunkten Vereinigung von Mengen. Das Produkt und Koprodukt decken das kartesische Produkt und die disjunkte Vereinigung als Spezialfälle auf der Kategorie der Mengen ab.

Fällt das Produkt mit dem Koprodukt zusammen, so nennt man es ein Biprodukt.

Definitionen

Es sei ${\mathcal {C}}$ eine beliebige Kategorie, > eine beliebige Indexmenge und $\left(\,A_{i}\mid i\in I\,\right)$ eine Familie von Objekten in ${\mathcal {C}}$ .

Ein Objekt $\Pi$ von ${\mathcal {C}}$ zusammen mit Morphismen $\mathrm {pr} _{i}\colon \Pi \to A_{i}$ , den Projektionen auf die jeweils -te Komponente, heißt Produkt der $A_{i}$ , falls die universelle Eigenschaft gilt:

Für jedes Objekt von ${\mathcal {C}}$ mit Morphismen $f_{i}\colon X\to A_{i}$ gibt es genau einen Morphismus $f\colon X\to \Pi$ , der $f_{i}=\mathrm {pr} _{i}\circ f$ für alle $i\in I$ erfüllt.

Man schreibt dann ${\textstyle \prod _{i\in I}A_{i}}$ für ein solches $\Pi$ .

Ein Objekt $\amalg$ von ${\mathcal {C}}$ zusammen mit Morphismen $\mathrm {ins} _{i}\colon A_{i}\to \amalg$ , den Einbettungen in die jeweils -te Komponente, heißt Koprodukt der $A_{i}$ , falls die universelle Eigenschaft gilt:

Für jedes Objekt von ${\mathcal {C}}$ mit Morphismen $g_{i}\colon A_{i}\to Y$ gibt es genau einen Morphismus $g\colon \amalg \to Y$ , der $g_{i}=g\circ \mathrm {ins} _{i}$ für alle $i\in I$ erfüllt.

Man schreibt dann ${\textstyle \coprod _{i\in I}A_{i}}$ für ein solches $\amalg$ .

Beispiele

Es werden einige geläufige Kategorien mit ihren Produkten und Koprodukten angegeben.

Kategorie	Produkt	Koprodukt
Mengen	kartesisches Produkt	(äußere) disjunkte Vereinigung
Gruppen	direktes Produkt	freies Produkt
abelsche Gruppen		direkte Summe
Vektorräume
Moduln über einem Ring
Kommutative Ringe mit Eins		Tensorprodukt von Ringen (betrachtet als $\mathbb {Z}$ -Algebren)
(quasi-) projektive Varietäten	zugehörige Segre-Varietät	(kein spezieller Begriff)
topologische Räume	Produkttopologie	disjunkte Vereinigung mit der offensichtlichen Topologie
kompakte Hausdorffräume		(kein spezieller Begriff)
punktierte topologische Räume		Wedge-Produkt
Banachräume	Abzählbare Linearkombinationen mit $\ell ^{\infty }$ , das heißt absolut beschränkten Koeffizienten, mit dem gewichteten Supremum der Normen als Norm	Abzählbare Linearkombinationen mit $\ell ^{1}$ , das heißt absolut summablen Koeffizienten, mit der gewichteten Summe der Normen als Norm
partielle Ordnungen	Infimum	Supremum

Für abelsche Gruppen, Moduln, Vektorräume und Banachräume stimmen die endlichen Produkte mit den endlichen Koprodukten überein, liefern also ein Biprodukt. Ihre Existenz wird bei der Definition abelscher Kategorien gefordert, insbesondere bilden abelsche Gruppen, Vektorräume und Moduln über einem Ring abelsche Kategorien.

In der Kategorie der topologischen Räume ist das Produkt genau das kartesische Produkt versehen mit der gröbsten Topologie, bei der die Projektionen $\mathrm {pr} _{i}$ stetig sind, und das Koprodukt ist die disjunkte Vereinigung mit denselben offenen Mengen auf jedem der Räume wie zuvor und deren Vereinigungen.

In der Kategorie der abelschen Gruppen, Moduln und Vektorräume ist das Produkt genau das kartesische Produkt mit komponentenweiser Verknüpfung; das Koprodukt besteht aus den Elementen des Produkts, deren Komponenten fast überall (also überall bis auf an endlich vielen Stellen) Null sind.

Interpretiert man eine Quasiordnung $({\mathcal {A}},\lesssim )$ als die Kategorie ihrer Elemente mit Morphismen $f\colon a\to b$ für $a\lesssim b$ , so ergeben die Produkte die Infima und die Koprodukte die Suprema der entsprechenden Elemente.

Basierend auf einem Artikel in:

Wikipedia.de