Der kategoriale Kolimes, der zwei Objekte entlang eines gemeinsamen Teilobjekts zusammenklebt: gegeben A → B und A → C ist der Pushout B ⊔_A C das universelle Objekt, das Abbildungen von B und C empfängt, die auf A übereinstimmen.

Prinzip

Charakterisiert durch die universelle Eigenschaft von Kolimiten: B ⊔_A C besitzt kanonische Morphismen i_B: B → B ⊔_A C und i_C: C → B ⊔_A C mit i_B∘f = i_C∘g auf A, und jedes andere Objekt, das kompatible Morphismen von B und C erhält, faktorisiert eindeutig durch den Pushout.

Demonstration

In der Kategorie der Mengen ist der Pushout von Inklusionen A ↪ B und A ↪ C die disjunkte Vereinigung B ⊔ C modulo der Identifikation der aus A stammenden Elemente. In der Topologie klebt man Räume entlang eines gemeinsamen Unterraums (z. B. Anheften einer Zelle durch Verkleben ihrer Randmenge). In der Algebra formt man Quotientenkonstruktionen zur Realisierung amalgamierter Summen von Ringen oder Gruppen mit zusätzlichen Relationen.

Fehlanwendung

Pushouts als naive mengenmäßige Vereinigungen auffassen in Kategorien, in denen zusätzliche Struktur wichtig ist (Identifikationen, topologische Verklebevorgänge oder algebraische Relationen übersehen). Ein weiterer Missbrauch besteht darin, zu glauben, Pushouts erhielten Mono- bzw. Einbettungen automatisch; sie können Identifikationen einführen, die Injektivität zerstören.

Konsequenz

Pushouts realisieren Verklebeungen, Amalgamierungen und Anheftungen und sind zentral für Kolimiten-, Koäqualizer- und Diagrammkonstruktionen. Sie erlauben das Zusammenfügen von Objekten unter den durch ein gemeinsames Teilobjekt vorgegebenen Identifikationen und liefern universelle Amalgame in Algebra und Topologie.

Umkehrung

Dual zum Pullback: Während der Pushout der universelle Kokegel ist, der entlang einer Quelle zusammenführt, ist der Pullback der universelle Kegel, der entlang eines Ziels synchronisiert. Umkehrung tauscht Kolimit-Verhalten (Amalgamierung) gegen Limit-Verhalten (Synchronisation).

Abgrenzung

Erfordert eine Umgebungskategorie, die die relevanten Kolimiten besitzt; Existenz und Gestalt hängen von der Kategorie ab (Mengen, topologische Räume, Moduln, Gruppen, Ringe verhalten sich unterschiedlich). Pushouts bewahren nicht notwendigerweise Eigenschaften wie Einbettungen, endliche Präsentation oder Hausdorff-Trennung.

Semantische Spannung

Oft mit Vereinigungen oder naiven Verklebungen verwechselt, weil beide ‚zusammenfügen‘; der Pushout ist jedoch durch eine universelle Eigenschaft definiert und kann Identifikationen oder algebraische Relationen hervorbringen, die in einer einfachen Vereinigung fehlen. Spannung besteht auch zu gefaserten Koprodukten und Koäqualisatoren, die verwandt, aber verschieden sind.

Synthese

Der Pushout ist die universelle Methode, zwei Objekte entlang eines gemeinsamen Teilobjekts zusammenzufügen: er bildet den Kokegel, der die Bilder des gemeinsamen Teils identifiziert und jede kompatible Paarkonfiguration in ein beliebiges Ziel vermittelt.