Suma Amalgamada
- Mathematics & Logic -
Pure Mathematics Dictionary
Definición
El colímite categórico que pega dos objetos a lo largo de un subobjeto común: dadas A → B y A → C, el pushout B ⊔_A C es el objeto universal que recibe mapas de B y C que coinciden sobre A.