Congruencias en Cat
Ponente: Enrique Ruíz
Institución: UNAM
Institución: UNAM
When |
Jan 14, 2015
from 11:00 AM to 12:00 PM |
---|---|
Where | Salón 1, Instituto de Matemáticas |
Add event to calendar |
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.