jueves, noviembre 25 2010, 7:00pm - 8:00pm
Gustavo Jasso (IMUNAM, CU)
Resumen:
Una categoria C es aditiva si
1. Cada conjunto de morfismos C(X,Y) tiene estructura de grupo abeliano tal que la composicion es bilineal,
2. Existe un objeto cero, es decir, un objeto inicial y terminal,
3. Para cada dos objetos X,Y de C existe un coproducto (un objeto con cierta propiedad universal).
En esta platica probaremos que la estructura de grupo abeliano de los conjuntos de morfismos C(X,Y) es unica. En particular, dado que la categoria de espacios vectoriales sobre un campo K es una categoria aditiva, esto muestra que hay una unica manera de hacer algebra lineal.
Localización : Sala de Café, IMUNAM
Contacto : Christian Rubio, Diosel Lopez, Martha Sandoval
Temas: