Correo interno
Leyes distributivas y álgebras de la mónada compuesta
Ponente: Enrique Ruiz Hernández
Tipo de Evento: Researcher
Tipo de Evento: Researcher
| When |
Nov 15, 2016
from 05:00 PM to 06:30 PM |
|---|---|
| Where | Sala 2 del Nuevo Edificio IMATE |
| Add event to calendar |
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.