La lógica combinatoria y las categorías cerradas.
En esta exposición, hablaremos de las nociones de categoría cerrada, categoría cerrada simétrica y categoría cerrada con una familia de mónadas. Mostraremos que, bajo ciertas condiciones, estas son esencialmente equivalentes a una lógica combinatoria con tipos. Además, si nos da el tiempo, veremos un teorema de completitud funcional en el marco de las categorías cerradas con mónadas.
https://www.cmat.edu.uy/eventos/seminarios/seminario-de-algebra-del-imerl/la-logica-combinatoria-y-las-categorias-cerradas
https://www.cmat.edu.uy/@@site-logo/log-cmat.png
La lógica combinatoria y las categorías cerradas.
| Dia |
2025-05-30 11:15:00-03:00
|
| Hora |
2025-05-30 11:15:00-03:00
|
| Lugar | Salón de Seminarios del IMERL y a través de Zoom |
La lógica combinatoria y las categorías cerradas.
Octavio Malherbe
(Universidad de la República)
En esta exposición, hablaremos de las nociones de categoría cerrada, categoría cerrada simétrica y categoría cerrada con una familia de mónadas. Mostraremos que, bajo ciertas condiciones, estas son esencialmente equivalentes a una lógica combinatoria con tipos. Además, si nos da el tiempo, veremos un teorema de completitud funcional en el marco de las categorías cerradas con mónadas.
