La visión de Lurie del teorema de Makkai 1
Ponente: Alma Violeta García López
Institución: IMATE UNAM
Tipo de Evento: Researcher
Institución: IMATE UNAM
Tipo de Evento: Researcher
When |
Aug 14, 2018
from 05:00 PM to 06:30 PM |
---|---|
Where | Sala 2 del nuevo edificio del IMUNAM |
Add event to calendar |
vCal iCal |
Revisaremos el enunciado del teorema de Makkai sobre modelos de pretopos y comenzaremos con la revisión del curso de Lurie sobre dicho teorema. En particular revisaremos la definición de la categoría sintáctica de una teoría de primer orden.