Seudomónadas relativas
Ponente: Francisco Marmolejo
Institución: IM-UNAM
Tipo de Evento: Investigación
Institución: IM-UNAM
Tipo de Evento: Investigación
Cuándo |
30/05/2023 de 17:00 a 18:30 |
---|---|
Dónde | Salón 2 de seminarios del Instituto de Matemáticas. |
Agregar evento al calendario |
vCal iCal |
Revisaremos el artículo de Fiore, Gambino, Hyland y Winskel titulado "Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures". Las seudomónadas relativas son una generalización de las seudomónadas y permiten lidiar con construcciones tales como
C|--->[C^op,Con]
que, en general, no pueden ser iteradas por cuestiones de tamaño. Mediante una combinación de los conceptos de seudomónada no-iteración y de mónada relativa. El artículo se concentra en las categorías de Kliesli de una seudomónada relativa.