Una breve introducción a la lógica categórica
Ponente: Alma Violeta García López
Institución: UNAM
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.