UNAM

Lógica categórica de primer orden 1

Ponente: Francisco Marmolejo
Institución: Instituto de Matemáticas UNAM
Tipo de Evento: Investigación

Cuándo 31/01/2017
de 17:00 a 18:30
Dónde Salón 3 ("de becarios") del Nuevo Edificio IMATE
Agregar evento al calendario vCal
iCal

Comenzaremos la revisión del libro de Makkai y Reyes llamado "First order categorical logic". Comenzaremos con la revisión del primer capítulo sobre topos de Grothendieck.

archivado en: