Die kategorische universelle Konstruktion, die zwei Objekte entlang eines gemeinsamen Teilobjekts amalgamiert, um ein koequalisierendes zusammengefügtes Objekt zu bilden; konkret ist es das Kolimit des Diagramms A → B und A → C, das B ⨿_A C mit kanonischen Abbildungen von B und C produziert, die die beiden Strecken aus A gleichsetzen.

Prinzip

Gegeben Abbildungen f: A → B und g: A → C in einer Kategorie mit den entsprechenden Kolimiten ist der Pushout ein Objekt P und Morphismen i_B: B → P, i_C: C → P mit i_B ∘ f = i_C ∘ g, wobei P universell für diese Eigenschaft ist; das Prinzip ist minimale Amalgamation unter den durch A vorgegebenen Identifikationen.

Demonstration

Beispiele: In Mengen ist der Pushout die disjunkte Vereinigung B ⊔ C modulo der Identifikation f(a) ∼ g(a); in Gruppen ist der Pushout das amalgamierte freie Produkt B *_A C; in kommutativen Ringen ist der Pushout unter geeigneten Voraussetzungen das Tensorprodukt B ⊗_A C, und für Schemata sind Pushouts subtiler und erfordern Klebedaten und Zusatzeigenschaften.

Fehlanwendung

Anzunehmen, Pushouts erhielten Monomorphismen, exakte Sequenzen oder andere Endlichkeits-Eigenschaften in beliebigen Kategorien; kategoriale Konstruktionen mit elementweisen Beschreibungen zu verwechseln (z. B. Ring-Pushouts mit naiven elementweisen Quotienten gleichzusetzen) kann zu falschen algebraischen Objekten führen.

Konsequenz

Richtiger Gebrauch liefert kanonische Amalgamate, die Klebedaten kodieren, Abstiegsbehauptungen ermöglichen und neue Objekte mit vorgeschriebenen Identifikationen konstruieren; Pushouts treten in Präsentationen, Amalgamierungen und bei der Bildung von Quotienten durch Relationen aus einem gemeinsamen Teilobjekt auf.

Umkehrung

Das duale Konzept ist der Pullback (Faserprodukt), der stattdessen Limiten bildet, indem er Objekte entlang von Abbildungen zu einem gemeinsamen Ziel schneidet oder zurückzieht; Pushout ist das kolimitale Dual, das entlang einer gemeinsamen Quelle zusammenführt.

Abgrenzung

Existiert in jeder Kategorie mit den erforderlichen Kolimiten, aber seine konkrete Gestalt und Eigenschaften hängen stark von der umgebenden Kategorie ab; nicht alle Kategorien besitzen Pushouts, und in vielen algebraischen Kategorien beeinflussen zusätzliche Voraussetzungen (Flachheit, Exactness), ob erwartete Formeln (etwa Tensorprodukt) den Pushout realisieren.

Semantische Spannung

Spannung mit Pullback/Limiten-Begriffen und mit naivem Mengen-Kleben: Pushouts sind universelle Kolimiten und müssen über kategoriale Universal-Eigenschaften behandelt werden, nicht über ad-hoc elementweise Identifikationen, außer in Kategorien, welche dies erlauben.

Synthese

Eine Pushout-Konstruktion ist das universelle minimale Amalgam, das zwei Abbildungen aus einer gemeinsamen Quelle koegalisiert, ein Objekt erzeugt, das die gegebenen Daten entlang der Quellidentifikationen zusammenfügt, und das kolimitale Dual zum Pullback darstellt.