[Todos CMAT] Seminario de álgebra del IMERL

[Ana Gonzalez]

Hola a todos.

Continuando con la serie de exposiciones del seminario de álgebra del  
IMERL, este viernes habla Mariana Haim sobre:

        Un posible modelo para el cálculo lambda tipado lineal polimórfico.

Las categorías cartesianas cerradas modelan el cálculo lambda tipado  
con productos. De manera análoga, las llamadas "LNL categories" (en el  
sentido de N. Benton) modelan el cálculo lambda tipado lineal.

Un poco más en general, el cálculo lambda tipado lineal polimórfico es  
modelado por las llamadas hiperdoctrinas (categorías LNL indexadas con  
ciertas condiciones adicionales).

En esta charla explicaremos el párrafo anterior, y probaremos cómo a  
partir de una cóalgebra co​con​mutativa, bajo ciertas condiciones,  
podemos construir una "LNL category".
Mostraremos además algunos avances en el sentido de llevar esta  
construcción al contexto de hiperdoctrina.

Esto es parte de un trabajo conjunto con Octavio.​​


El seminario es en el salón de seminarios del IMERL, los viernes a las 11:15.

Saludos,
Ana