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$
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.

| cite | improve this answer | |
$\endgroup$
6
$\begingroup$

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

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.