Leyes distributivas y álgebras de la mónada compuesta
Ponente: Enrique Ruiz Hernández
Tipo de Evento: Investigación
Tipo de Evento: Investigación
Cuándo |
15/11/2016 de 17:00 a 18:30 |
---|---|
Dónde | Sala 2 del Nuevo Edificio IMATE |
Agregar evento al calendario |
vCal iCal |
Las álgebras de la mónada compuesta poseen dos estructuras, y la ley distributiva, o el intercambio de operaciones, aparece en su forma usual como una ecuación que deben obedecer los dos tipos de operaciones. Estableceremos la existencia de un funtor de comparación que va de la categoría de álgebras del levantamiento inducido por una ley distributiva a la categoría de álgebras de la mónada compuesta inducida por la misma ley distributiva.