WikiDer > Kuppelprodukt
In dem Kategorientheorie, ein abstraktes Unterfeld der Mathematik, ist der Kuppelprodukt (oder der kategoriale Summe) die kategorietheoretische Konstruktion, die de disjunkte Vereinigung von Mengen, das disjunkte Vereinigung topologischer Räume, es kostenloses Produkt von Gruppen und der direkte Summe von Modulen und Vektorräumen, in sich vereint. Das Kuppelprodukt einer Familie von Objekten ist im Wesentlichen das "am wenigsten spezifische" Objekt, zu dem jedes Objekt in der Familie eine Morphismus erlaubt. Es ist die kategorietheoretische Doppelbegriff von dem kategorisches Produkt, was bedeutet, dass die Definition dieselbe ist wie die des Produkts, außer dass alle Pfeile in die entgegengesetzte Richtung zeigen. Trotz dieser scheinbar harmlosen Änderung des Namens und der Schreibweise können sich Kuppelprodukte im Allgemeinen dramatisch von Produkten unterscheiden und tun dies auch.