Eilenberg-Moore object

Last updated Jan 14, 2023

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