Amalgamierte Summe

- Mathematics & Logic -
Pure Mathematics Dictionary
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.