La 2-adjunción que relaciona flechas universales y mónadas extensivas

En esta plática se deducirá la 2-adjunción referida construyendo primero la 2-categoría de flechas universales y después la 2-categoría de mónadas extensivas (sin iteración). La parte nueva de este resultado es la construcción 2-categórica de las flechas universales y la construcción del 2-funtor izquierdo. En general, esta construcción puede servir a los computólogos teóricos al relacionar mónadas extensivas con adjunciones, dadas por flechas universales. Además, puede servir como una base para la construcción de adjunciones de ordenes superiores que puedan relacionar pseudo mónadas con pseudo adjunciones. La presente investigación se llevo a cabo junto con la Mat. Jenylin Zuñiga.