En 2002, Ieke Moerdijk encontró una biyección entre monadas monoidales y  estructuras monoidales inducidas para la categoria de álgebras de Eilenber-Moore.

En esta platica encontraremos la misma biyección pero utilizando flechas universales y monadas extensivas