Congruencias en Cat
Ponente: Enrique Ruíz
Institución: UNAM
Institución: UNAM
Cuándo |
14/01/2015 de 11:00 a 12:00 |
---|---|
Dónde | Salón 1, Instituto de Matemáticas |
Agregar evento al calendario |
vCal iCal |
Se generalizará la noción estándar de congruencia sobre una categoría y se usará para introducir la noción de kérnel de un funtor, de categoría cociente y funtor cociente. Se dará una caracterización de los epimorfismos extremos en Cat, la categoría de categorías pequeñas, salvo isomorfismos. Veremos entonces que Cat tiene sistema de factorización ortogonal (EpiExt, Mono). También veremos que las congruencias regulares tienen un papel especial: las congruencias estándar son regulares.