Monad as not trivial adjunctions

173 Views Asked by At

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?

2

There are 2 best solutions below

0
On BEST ANSWER

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.

0
On

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