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