Cambiar a contenido. | Saltar a navegación

Herramientas Personales
Entrar

Navegación

Usted está aquí: Inicio / Actividades / Otras actividades / Conferencias Eventuales / Actividades / Una breve introducción a la lógica categórica

Una breve introducción a la lógica categórica

Ponente: Alma Violeta García López
Institución: UNAM
Cuándo 15/01/2015
de 14:00 a 15:00
Dónde Salón 1 (nuevo edificio), Instituto de Matemáticas
Agregar evento al calendario vCal
iCal

En esta charla trataremos algunos conceptos de la interpretación categórica de la lógica, en particular la interpretación de las fórmulas en la categoría de gavillas sobre un álgebra booleana completa y la de modelo en el sentido de First order categorical logic de M. Makkai y G. Reyes.