Pushout-Konstruktion

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.