Construction de Somme Amalgamée

La construction universelle catégorique qui amalgame deux objets le long d'un sous-objet commun pour former un objet fusionné coégaliseur ; concrètement c'est le colimite du diagramme A → B et A → C, produisant B ⨿_A C muni d'applications canoniques depuis B et C qui égalisent les deux flèches venant de A.