La visión de Lurie del teorema de Makkai 8
Ponente: Luis Eduardo García Hérnandez
Institución: IMATE UNAM
Tipo de Evento: Investigación
Institución: IMATE UNAM
Tipo de Evento: Investigación
Cuándo |
23/10/2018 de 17:15 a 18:30 |
---|---|
Dónde | Aula 2 del nuevo edificio del IMUNAM |
Agregar evento al calendario |
vCal iCal |
En esta sesión se estudiarán algunas de las propiedades más importantes de los morfismos coherentes entre categorías coherentes. En particular se utilizará esta teoría para poder demostrar que una categoría pequeña, coherente y Booleana C es equivalente a la categoría sintactica débil de T(C).