5
$\begingroup$

It is well known that a monad $(T, \mu, \eta)$ can be factorized in multiple ways as adjunctions, and that in some sense, Kleisli is the initial factorization while Eilenberg-Moore is the final factorization. What are examples of factorizations in between?

For example, I can picture the monad of groups as being factorized as either the free groups (Kleisli) or all the groups (Eilenberg-Moore). What would be a factorization of the monad of groups in between these two?

$\endgroup$

2 Answers 2

6
$\begingroup$

Take any full subcategory of the category of groups containing all free groups.

$\endgroup$
4
$\begingroup$

Identity monad on $\mathrm{Set}$ factors in many different ways. Kleisli and Eilenberg-Moore categories coincide, but another factorization is given by the free functor to $\mathrm{Top}$ (equipping a set with the discrete topology). This example illustrates that one needs to be careful with the intuition that a generic factorization lies between the Kleisli and Eilenberg-Moore adjunctions. Kleisli category always embeds, but the comparison functor to Eilenberg-Moore category is in general only faithful.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .