Eilenberg-Moore object

Last updated Feb 3, 2024

The universal left module in the bicategory of categories is the Eilenberg-Moore category. This motivates the notion that the formal analogue of the Eilenberg-Moore category is the universal left module.

universal-left-module-is-eilenberg-moore