Somme Amalgamée
- Mathematics & Logic -
Pure Mathematics Dictionary
Définition
Le colimite catégorique qui recolle deux objets le long d'un sous-objet commun : données des flèches A → B et A → C, le pushout B ⊔_A C est l'objet universel qui reçoit des flèches de B et C concordantes sur A.