Las álgebras de la mónada \((-)^A:Con \to Con\).
Ponente: Enrique Ruiz Hernández
Tipo de Evento: Researcher
Tipo de Evento: Researcher
When |
Aug 25, 2015
from 05:00 PM to 06:30 PM |
---|---|
Where | Sala 2 del Nuevo Edificio IMATE |
Add event to calendar |
vCal iCal |
Se dará una caracterización de las álgebras de la mónada \( (-)^A :Con \to Con\), con \(A\) un conjunto.