Categorías Extensivas
Martes 20 de Noviembre de 2012. 17:00 horas. Salón de Seminarios 3 Instituto de Matemáticas UNAM.
Una categoría exten- siva es una catego- ría con sumas finitas en la que todo mor- fismo con codominio una suma se puede expresar como la suma de dos morfismos con codominio cada uno de los sumandos, lo cual se interpreta como que las sumas se comportan bien. En esta plática se pro- barán propiedades de las categorías exten- sivas, y también se demostrará que una condición necesaria y suficiente para que la categoría de ál- gebras T-Alg sea un topos de Grothendieck es que T sea coexten- siva.