Kleisli object

Last updated Oct 31, 2023

Tags: bicategory, Bimodule on a bicategory, monoid, Module, drawing universal modules. References.

• The Formal Theory of Monads (Street, 1972)

Proposition. In CAT, the bicategory of categories, the Kleisli object of a monad is the category of free algebras.

Proposition. In PROF, the bicategory of profunctors, the Kleisli object of a promonad is the category with morphisms in the promonad.