Fecha de inicio
Fecha de fin
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.
Salón de Seminarios del IMERL y a través de Zoom
Información de acceso a Zoom / Zoom access info:
Enlace / link: https://salavirtual-
ID de reunión / Meeting ID: 850 0131 1823