Las álgebras de la mónada \((-)^A:Con \to Con\).
Ponente: Enrique Ruiz Hernández
Tipo de Evento: Investigación
Tipo de Evento: Investigación
Cuándo |
25/08/2015 de 17:00 a 18:30 |
---|---|
Dónde | Sala 2 del Nuevo Edificio IMATE |
Agregar evento al calendario |
![]() ![]() |
Se dará una caracterización de las álgebras de la mónada \( (-)^A :Con \to Con\), con \(A\) un conjunto.