Transiciones y leyes distributivas sin iteración para pseudomónadas

Ponente(s): Eduardo Sebastián Martínez Ruiz, Francisco Marmolejo Rivas, Enrique Ruíz Hernández, Adrián Vázquez Márquez

En el artículo de "Monads as extensions systems -no iteration is necessary" de F. Marmolejo y R. Wood, nos presentan los sistemas de extensiones y prueban que estos son equivalentes a las mónadas; posteriormente llevaron estas ideas a categorías más altas en el artículo de "No-iteration pseudomonads". Por lo que el siguiente paso sería definir las transiciones y leyes distributivas sin iteración sobre pseudomónadas sin iteración. En esta plática definiremos las transiciones y leyes distributivas sin iteración sobre psedomónadas y veremos que estos conceptos son equivalentes a las transiciones y leyes distributivas ya conocidas.