UNAM
You are here: Home / Actividades académicas / Eventos / 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

When Jan 15, 2015
from 02:00 PM to 03:00 PM
Where Salón 1 (nuevo edificio), Instituto de Matemáticas
Add event to calendar 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.