Das Objekt, dessen Elemente Tupel mit einer Koordinate aus jedem Faktor sind und das komponentenweise Operationen besitzt, zusammen mit Projektionsabbildungen auf jeden Faktor; kategorisch ist es das Produkt, das Familien von Abbildungen in jeden Faktor repräsentiert.

Prinzip

Definiert durch die universelle Eigenschaft von Produkten: ein Objekt ∏_i A_i mit Projektionen π_j: ∏_i A_i → A_j derart, dass für jedes Objekt X und jede Familie von Abbildungen f_j: X → A_j eine eindeutige Abbildung f: X → ∏_i A_i existiert mit π_j ∘ f = f_j für alle j.

Demonstration

Für Mengen ist das direkte Produkt ∏_i S_i die Menge aller Tupel (s_i) mit s_i ∈ S_i. Für Module oder Vektorräume besteht das direkte Produkt aus allen Tupeln mit komponentenweiser Addition und Skalarmultiplikation; bei unendlichen Indexmengen unterscheidet es sich gewöhnlich von der direkten Summe (die endliche Unterstützung verlangt).

Fehlanwendung

Direktes Produkt mit direkter Summe verwechseln, wenn die Indexmenge unendlich ist, oder annehmen, Produkte würden mit Kolimiten in Kategorien kommutieren, wo dies nicht gilt. Das Produkt als Koprodukt behandeln führt zu falschen universellen Argumenten und Zerlegungen.

Konsequenz

Produkte liefern kanonische Projektionen und koordinatenweise Rechnungen, unterstützen inverse Limes-Konstruktionen und sind entscheidend zur Definition punktweiser Strukturen in Funktorkategorien. Sie erhalten Limiten und spiegeln oft Vollständigkeitseigenschaften einer Kategorie wider.

Umkehrung

Dual zum Koprodukt/direkten Summe: Wird die universelle Eigenschaft umgedreht, tauscht man Injektionen gegen Projektionen und verschiebt den Fokus vom Zusammenfügen endlich gestützter Tupel zu beliebigen koordinierten Familien von Elementen.

Abgrenzung

Existiert in vielen Kategorien, aber die komponentenweise Beschreibung als „alle Tupel“ erfordert, dass die Umgebungskategorie beliebige Produkte besitzt. In algebraischen Kontexten mit unendlichen Indexmengen sind Eigenschaften, die für endliche Produkte gelten, von denen für unendliche zu unterscheiden.

Semantische Spannung

Spannung mit der direkten Summe und faserartigen Konstruktionen: das Produkt erlaubt beliebige Tupel, die Summe beschränkt sich auf endliche Unterstützung; in einigen Kontexten (endliche Indexmengen, endlich-dimensionale Moduln) stimmen sie überein, was Verwirrung stiftet.

Synthese

Das direkte Produkt ist das kategoriale Produkt, das eine indizierte Familie zum Objekt aller Koordinatentupel zusammenfasst und Familien von Abbildungen in jeden Faktor durch eindeutige vermittelnde Abbildungen repräsentiert.