# Todd Trimble Associated idempotent monad of a monad

###### Theorem (Fakir)

Let $C$ be a complete, well-powered category, and let $M:C\to C$ be a monad with unit $u:1\to M$ and multiplication $m:MM\to M$. Then there is a universal idempotent monad, giving a right adjoint to

$\mathrm{IdempotentMonad}\left(C\right)↪\mathrm{Monad}\left(C\right)$IdempotentMonad(C) \hookrightarrow Monad(C)
###### Proof

Given a monad $M$, define a functor $M\prime$ as the equalizer $Mu$ and $uM$:

$M\prime ↪M\stackrel{\stackrel{uM}{\to }}{\underset{Mu}{\to }}MM.$M' \hookrightarrow M \stackrel{\overset{u M}{\to}}{\underset{M u}{\to}} M M.

This $M\prime$ acquires a monad structure. It might not be an idempotent monad (although it will be if $M$ is left exact). However we can apply the process again, and continue transfinitely. Define ${M}_{0}=M$, and if ${M}_{\alpha }$ has been defined, put ${M}_{\alpha +1}={M}_{\alpha }\prime$; at limit ordinals $\beta$, define ${M}_{\beta }$ to be the inverse limit of the chain

$\dots ↪{M}_{\alpha }↪\dots ↪M$\ldots \hookrightarrow M_{\alpha} \hookrightarrow \ldots \hookrightarrow M

where $\alpha$ ranges over ordinals less than $\beta$.

Since $C$ is well-powered (i.e., since each object has only a small number of subobjects), the large limit

$E\left(M\right)\left(c\right)=\underset{\alpha \in \mathrm{Ord}}{\mathrm{lim}}{M}_{\alpha }\left(c\right)$E(M)(c) = \underset{\alpha \in Ord}{\lim} M_\alpha(c)

exists for each $c$. Hence the large limit $E\left(M\right)=\underset{\alpha \in \mathrm{Ord}}{\mathrm{lim}}{M}_{\alpha }$ exists as an endofunctor. The underlying functor

$\mathrm{Monad}\left(C\right)\to \mathrm{Endo}\left(C\right)$Monad(C) \to Endo(C)

reflects limits (irrespective of size), so $E=E\left(M\right)$ acquires a monad structure defined by the limit. Let $\eta :1\to E$ be the unit and $\mu :EE\to E$ the multiplication of $E$.

• Claim: $E$ is idempotent.

For this it suffices to check that $\eta E=E\eta :E\to EE$. This may be checked objectwise. So fix an object $c$, and for that particular $c$, choose $\alpha$ so large that projections ${\pi }_{\alpha }\left(c\right):E\left(c\right)\to {M}_{\alpha }\left(c\right)$ and ${\pi }_{\alpha }E\left(c\right):EE\left(c\right)\to {M}_{\alpha }E\left(c\right)$ are isomorphisms. Clearly then ${u}_{\alpha }{M}_{\alpha }\left(c\right)={M}_{\alpha }{u}_{\alpha }c$, since ${\pi }_{\alpha }:E\to {M}_{\alpha }$ factors through the equalizer ${M}_{\alpha +1}↪{M}_{\alpha }$. Then, since ${\pi }_{\alpha }$ is a monad morphism, we have

$\begin{array}{ccc}\eta E\left(c\right)& =& \left({\pi }_{\alpha }{\pi }_{\alpha }\left(c\right){\right)}^{-1}\left(u{M}_{\alpha }\left(c\right)\right){\pi }_{c}\\ & =& \left({\pi }_{\alpha }{\pi }_{\alpha }\left(c\right){\right)}^{-1}\left({M}_{\alpha }u\left(c\right)\right){\pi }_{c}\\ & =& E\eta \left(c\right)\end{array}$\array{ \eta E(c) & = & (\pi_\alpha \pi_\alpha (c))^{-1} (u M_\alpha(c))\pi_c \\ & = & (\pi_\alpha \pi_\alpha (c))^{-1} (M_\alpha u(c))\pi_c \\ & = & E \eta(c) }

as required.

Finally we must check that $M↦E\left(M\right)$ satisfies the appropriate universal property. Suppose $T$ is an idempotent monad with unit $v$, and let $\varphi :T\to M$ be a monad map. We define $T\to {M}_{\alpha }$ by induction: given ${\varphi }_{\alpha }:T\to {M}_{\alpha }$, we have

$\left({u}_{\alpha }{M}_{\alpha }\right){\varphi }_{\alpha }={\varphi }_{\alpha }{\varphi }_{\alpha }\left(vT\right)={\varphi }_{\alpha }{\varphi }_{\alpha }\left(Tv\right)=\left({M}_{\alpha }{u}_{\alpha }\right){\varphi }_{\alpha }$(u_\alpha M_\alpha)\phi_\alpha = \phi_\alpha \phi_\alpha (v T) = \phi_\alpha \phi_\alpha (T v) = (M_\alpha u_{\alpha})\phi_\alpha

so that ${\varphi }_{\alpha }$ factors uniquely through the inclusion ${M}_{\alpha +1}↪{M}_{\alpha }$. This defines ${\varphi }_{\alpha +1}:T\to {M}_{\alpha +1}$; this is a monad map. The definition of ${\varphi }_{\alpha }$ at limit ordinals, where ${M}_{\alpha }$ is a limit monad, is clear. Hence $T\to M$ factors (uniquely) through the inclusion $E\left(M\right)↪M$, as was to be shown.