La propiedad de la base explícita.
Matías Menni. Martes 27 de Noviembre de 2012. 17:00 Horas.
Salón de Seminarios 3 Instituto de Matemáticas UNAM.
En una categoría algebraica los objetos proyectivos pueden definirse como los retractos de los objetos libres.
En algunos casos especiales (por ejemplo, módulos sobre un anillo local) todos los proyectivos son libres.
En
otros casos no tan conocidos los proyectivos no son sólo libres sino
que también existe una manera canónica y sencilla de extraer el conjunto
de generadores de un proyectivo.
El propósito esta charla es dar una
formulación matemática de esta propiedad en términos de mónadas,
discutir algunos de los ejemplos en [1] y otros más recientes.
[1] Menni, M. Algebraic categories whose projectives are explicitly free. TAC, 2009.