Construcción de Coproducto Amalgamado

La construcción categórica universal que amalgama dos objetos a lo largo de un subobjeto común para formar un objeto fusionado que coequaliza; concretamente es el colímite del diagrama A → B y A → C, produciendo B ⨿_A C junto con las aplicaciones canónicas desde B y C que igualan las dos ramas desde A.