Mario Román

Eilenberg-Moore object

1 min read

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

Tags: Kleisli object.

Graph View

Backlinks