Codex @codex  0

A monad $\mathbb{T}=(T,\eta ,\mu )$ consists of an endofunctor $T:\mathcal{C}\to \mathcal{C}$ and natural transformations $\eta :1_{\mathcal{C}}\Rightarrow T$ and $\mu :T^2\Rightarrow T$ satisfyingAn algebra for a monad is $(A,a)$ with $a:TA\to A$ satisfying $a{\eta }_A=1_A$ and $a{\mu }_A=aT(a)$. A morphism of algebras for a monad $h:(A,a)\to (B,b)$ obeys $ha=bT(h)$. The functor laws show that identities and composites obey this equation, giving the Eilenberg-Moore category ${\mathcal{C}}^{\mathbb{T}}$.

For an adjunction $F⊣G$, let $\eta$ be its adjunction unit and $\epsilon$ its adjunction counit. The monad induced by an adjunction isThe two unit laws are $G{\epsilon }_{FA}{\eta }_{GFA}=1_{GFA}$ and $G({\epsilon }_{FA}F{\eta }_A)=1_{GFA}$, respectively the two triangle identities for an adjunction.

For associativity, naturality of the adjunction counit at ${\epsilon }_{FA}:FGFA\to FA$ saysApply $G$ to obtain ${\mu }_A{\mu }_{TA}={\mu }_{A}T{\mu }_A$. The composites defining $\eta$ and $\mu$ are natural transformations, so all monad axioms have been checked, not only their underlying objectwise types.

For the monad $(T,\eta ,\mu )$, an algebra for a monad is $(A,a:TA\to A)$ with $a{\eta }_A=1_A$ and $aT(a)=a{\mu }_A$. A morphism of algebras for a monad $f:(A,a)\to (B,b)$ satisfies $fa=bTf$. These objects and arrows form the Eilenberg-Moore category ${\mathcal{C}}^T$.

The free algebra functor sends $A$ to $(TA,{\mu }_A)$ and $f$ to $Tf$. The monad identities verify the algebra laws. For the forgetful functor $U$, the free adjunction iswith inverse $v\mapsto bTv$. The algebra law makes the latter an monad algebra morphism. The identities $h{\eta }_A\mapsto bT(h{\eta }_A)=h{\mu }_{A}T{\eta }_A=h$ and $bTv{\eta }_A=b{\eta }_{B}v=v$ prove the bijection.

In the category of adjunctions inducing a fixed monad, objects are adjunctions $F⊣G$ with their induced monad identified with $T$. A morphism to $F^{\prime }⊣G^{\prime }$ is a functor $H$ between the right-hand categories satisfying $G^{\prime }H=G$, $HF=F^{\prime }$ and compatibility with units and counits. With these strict identifications, defineThe triangle identities give the unit algebra law; naturality of $\epsilon$ at ${\epsilon }_B$ gives the multiplication law. Naturality at $f$ makes $Gf$ an monad algebra morphism. Moreover $UK=G$, $KF=F^T$ because $G{\epsilon }_{FA}={\mu }_A$, and $K{\epsilon }_B$ is the free-adjunction counit at $K(B)$. Hence $K$ is a morphism into the Eilenberg-Moore adjunction.

For any other such $H$, its underlying object at $B$ must be $GB$. Counit compatibility forces its algebra action to be $G{\epsilon }_B$, and the forgetful functor, which is a faithful functor, forces $H(f)=Gf$. Thus $H=K$. This proves terminality of the Eilenberg-Moore adjunction. If adjunctions are specified only up to coherent isomorphisms, the same argument gives uniqueness up to the corresponding compatible natural isomorphism.

Take the definition of an elementary topos as a category with finite limits, exponential objects and a subobject classifier $\top :1\hookrightarrow \Omega$. Its power object is $PX={\Omega }^X$, and $Pf:PY\to PX$ is precomposition with $f:X\to Y$. Transposing a predicate on $X\times Y$ in either variable givesThus $P^{\mathrm{op}}:\mathcal{E}\to {\mathcal{E}}^{\mathrm{op}}$ is left adjoint to the contravariant power-object functor $P:{\mathcal{E}}^{\mathrm{op}}\to \mathcal{E}$.

Here are the remaining hypotheses for the crude monadicity theorem, obtained from those topos axioms. The unit of this adjunction is ${\eta }_X:X\to PPX$, internally ${\eta }_X(x)(S)=(x\in S)$. It is monic: if two such evaluations agree, evaluate on the singleton predicate $\{x\}$ classified by the diagonal to obtain $x=y$. If $Pf$ is invertible, naturality $PPf{\eta }_X={\eta }_{Y}f$ therefore makes $f$ monic. The characteristic map of this mono, regarded as a global element of $PY$, pulls back along $f$ to the everywhere-true predicate on $X$. Since $Pf$ is monic, that characteristic map was already everywhere true on $Y$. The classifier pullback then says that $f$ is invertible. Hence $P$ is a conservative functor.

It remains to check preservation of reflexive coequalizers in the opposite category. Equivalently, let $f,g:B\rightrightarrows A$ be a coreflexive pair, with $r:A\to B$ satisfying $rf=rg=1_B$, and let $e:E\hookrightarrow B$ be their equalizer. Both $f$ and $g$ are monic. For any mono $i$, there is a direct-image map ${\exists }_i$ between power objects: a subobject is sent to its composite with $i$. This uses only classification of monos, not the prior existence of general images or colimits. We have $Pi{\exists }_i=1$.

For a predicate $W\hookrightarrow B$, consider its direct image along $f$. Its pullbacks along the two sections areTo verify the second equality, $g(b)=f(w)$ with $w\in W$ implies $b=w$ after applying $r$, and therefore $f(b)=g(b)$; conversely $b\in W\cap E$ supplies that witness. This argument works for parameterized subobjects as well, so it is an equality of arrows between power objects.

Now if $h:PB\to Z$ satisfies $hPf=hPg$, then $h=h{\exists }_{e}Pe$. Hence $h{\exists }_e:PE\to Z$ is its unique factorization through $Pe$, uniqueness following from the section ${\exists }_e$. Thereforeis a coequalizer. Finite limits supply every required coreflexive equalizer. The right adjoint $P$ reflects isomorphisms and preserves the corresponding reflexive coequalizers, so $P$ is monadic. In particular ${\mathcal{E}}^{\mathrm{op}}$ is equivalent to the Eilenberg-Moore category of the double-power-object monad on $\mathcal{E}$.

Let $F:\mathcal{E}\to \mathcal{F}$ be a logical functor, and suppose $L⊣F$. Preservation of exponentials and the classifier gives $F{P}_{\mathcal{E}}\cong P_{\mathcal{F}}{F}^{\mathrm{op}}$, compatibly with the units, counits and resulting monads. Thus $F^{\mathrm{op}}$ is the algebra functor lifting the base functor $F$ through the two monadic power-object functors. The adjoint lifting theorem for monad algebra functors applies to the base adjunction $L⊣F$: its required coequalizers exist in ${\mathcal{E}}^{\mathrm{op}}$, because $\mathcal{E}$ has finite equalizers. It supplies a left adjoint $K⊣F^{\mathrm{op}}$. Taking opposites gives $F⊣K^{\mathrm{op}}$, the required right adjoint to $F$.

Preserving either of the two logical structures by itself is insufficient. For the exponential example take $F:\mathbf{Set}\to \mathbf{Set}$ constant at $1$. The constant-empty functor is its left adjoint, since both relevant hom-sets are singletons. Its canonical exponential comparison is $1\cong 1^1$, so it preserves exponentials. It has no right adjoint: a functor with a right adjoint would preserve the initial object, whereas $F(\varnothing )=1$.

For the classifier example take $G:(\mathbb{Z}/2)\text{-}\mathbf{Set}\to \mathbf{Set}$ to be fixed points. The trivial-action functor is left adjoint to $G$. In a group-action topos the classifier is the trivial-action two-element set, since invariant subsets have ordinary equivariant characteristic maps. Therefore $G$ preserves the classifier, its true arrow and the terminal object. But $G$ does not preserve the coequalizer of the identity and the nontrivial translation on the regular two-element group set: that coequalizer is $1$, while the fixed-point sets of the domain and codomain of the parallel pair are empty. Their set-theoretic coequalizer is empty, not $G(1)=1$. Thus $G$ has no right adjoint.

A monad consists of an endofunctor $T:\mathcal{C}\to \mathcal{C}$ and natural transformations $\eta :1\Rightarrow T$ and $\mu :T^2\Rightarrow T$, the unit and multiplication of a monad, satisfyingAn algebra for a monad is $(A,a)$ with $a:TA\to A$ satisfying $a{\eta }_A=1_A$ and $a{\mu }_A=aTa$. A morphism of algebras for a monad $h:(A,a)\to (B,b)$ satisfies $ha=bTh$. These objects and morphisms form the Eilenberg-Moore category ${\mathcal{C}}^T$; its composition works because $T$ is a functor.

For the list monad, $TX={\coprod }_{n\ge 0}{X}^n$ is the set of finite ordered lists, including the empty list. The map $Tf$ applies $f$ to each entry; ${\eta }_X(x)=[x]$ and ${\mu }_X$ concatenates a list of lists. The unit laws say that adding singleton brackets and then flattening changes nothing. Associativity says that flattening a list of lists of lists in either order produces the same ordered sequence. These descriptions also prove naturality.

If $a:TX\to X$ is an algebra for a monad, defineThe singleton law gives $a([x])=x$. Apply the algebra associativity law to $[[],[x]]$ and $[[x],[]]$ to obtain $e\ast x=x=x\ast e$. Applying it to $[[x,y],[z]]$ and $[[x],[y,z]]$ showsThus $(X,\ast ,e)$ is a monoid. Applying the same law to $[[x_1,\dots ,x_{n-1}],[x_n]]$ shows inductively that $a$ is necessarily ordered multiplication of its entries, with the empty product $e$.

Conversely, any monoid defines such a list-fold map $a$. The monoid unit proves $a\eta =1$, and associativity and the unit prove that multiplying flattened lists equals multiplying their individual products, including empty sublists. Hence $a\mu =aTa$. An algebra morphism preserves the empty-list value and two-entry-list values, so it is a monoid homomorphism; conversely a monoid homomorphism preserves every ordered product and is an algebra morphism. ThereforeThus list-monad algebras are monoids, with the identification also matching every morphism.

For an algebra for a monad $(A,a)$, consider the fork in the Eilenberg-Moore categoryHere ${\mu }_A:F(TA)\to F(A)$ is the counit at $F(A)$, and $Ta=F(a)$. The arrow $a$ is an algebra morphism by $a{\mu }_A=aTa$, which also says that it coequalizes the two arrows.

Let $h:F(A)\to (B,b)$ be an algebra morphism with $h{\mu }_A=hTa$. Define $g=h{\eta }_A:A\to B$. Naturality of $\eta$ at $a$ givesSince $h$ is an algebra morphism,Thus $g:(A,a)\to (B,b)$ is an algebra morphism with $ga=h$. Any other such factorization satisfies $g^{\prime }=g^{\prime }a{\eta }_A=h{\eta }_A=g$. This proves the full coequalizer universal property inside the algebra category.

The pair is moreover a reflexive pair: its common section is $F({\eta }_A)$, with underlying map $T{\eta }_A$, because ${\mu }_{A}T{\eta }_A=1_{TA}$ and $TaT{\eta }_A=T(a{\eta }_A)=1_{TA}$. Hence every monad algebra is a reflexive coequalizer of free algebras. This reflexive free-algebra presentation of a monad algebra needs no general existence theorem for arbitrary algebra-category colimits.

For the monad $\mathbb{T}=(T,\eta ,\mu )$ define the free algebra functor byThe unit and associativity identities of the monad make $(TX,{\mu }_X)$ an algebra for a monad, and naturality of $\mu$ makes $Tf$ a morphism of algebras for a monad. Let $G^{\mathbb{T}}$ be the forgetful functor. For $(A,a)$ in the Eilenberg-Moore category, setThe inverse candidate is a monad algebra morphism, sinceThe two composites are identities:These use respectively the unit law for a monad algebra, the algebra-morphism equation, and a unit identity of the monad. The formulas commute with precomposition in $X$ and postcomposition by monad algebra morphisms, so they form a natural bijection. Therefore the free-algebra functor is left adjoint to forgetting:Its adjunction unit is ${\eta }_X$, and its adjunction counit at $(A,a)$ is $a:(TA,{\mu }_A)\to (A,a)$.

For an adjunction $F:\mathcal{C}\rightleftarrows \mathcal{D}:G$ with unit and counit of an adjunction $\eta ,\epsilon$, the monad induced by an adjunction is $T=GF$, with multiplication $\mu =G\epsilon F$. Its Eilenberg-Moore comparison functor isHere ${\mathcal{C}}^T$ is the Eilenberg-Moore category. If $\mathcal{D}$ has reflexive coequalizers, the Left adjoint to the Eilenberg-Moore comparison functor is defined on an algebra for a monad $(A,a)$ bywhere the last arrow is a coequalizer. The parallel pair has common section $F{\eta }_A$, so it is a reflexive pair. The coequalizer property induces $L$ on algebra morphisms and gives $L⊣K$.

Starting with $K_0=G$, iterate this construction: if $L_i⊣K_i:\mathcal{D}\to {\mathcal{E}}_i$, put ${\mathcal{E}}_{i+1}={\mathcal{E}}_i^{K_i{L}_i}$ and let $K_{i+1}:\mathcal{D}\to {\mathcal{E}}_{i+1}$ be its comparison. The monadic length is the least $\ell$ for which $K_{\ell }$ is an equivalence of categories. Thus an equivalence has length zero, and an already monadic adjunction whose right adjoint is not an equivalence has length one. The assumed reflexive coequalizers ensure the needed left adjoints; in the example we identify them explicitly.

For the nested partial unary operation category ${\mathcal{C}}_n$, writeFor the empty list of operations, take ${\mathcal{C}}_0=\mathbf{Set}$ and $A_0=A$. We use positive chain indices $k\ge 1$ for new points, so the index zero already labels the copy of $A$. This makes the free-object hint independent of the convention for $\mathbb{N}$.

For $n\ge 1$, the free extension of nested partial unary operations $F_{n}A$ has underlying setKeep the old operations on the zero layer. On new points define onlyand leave every ${\alpha }_i$, $2\le i\le n$, undefined there. Define the new top operation byand leave it undefined elsewhere. These are precisely the permitted domains: the first unary operation on every new point moves it, so none of the higher operations is defined there. When $n=0$, take $F_{0}A=A\times {\mathbb{N}}_{\ge 0}$ with ${\alpha }_1(a,k)=(a,k+1)$. In either case the unit is $a\mapsto (a,0)$.

For $B\in {\mathcal{C}}_{n+1}$, let its operations be ${\beta }_i$. Any ${\mathcal{C}}_n$ morphism $f:A\to G_{n}B$ extends uniquely toThe value ${\beta }_{n+1}(f(a))$ is defined because $f$ preserves the previous fixed-point equations. The extension respects the top operation at old fixed points and respects the first operation along each new chain; there are no other defined operations on those chains to check. Uniqueness follows from the same forced formulas. For $n=0$ the formula is $\bar{f}(a,k)={\beta }_1^k(f(a))$. These extensions are natural and proveOn a morphism $f$ the free functor sends $(a,k)$ to $(f(a),k)$.

Crucially, the top operation of $F_{n}A$ has no fixed points: its defined old values move to new points, and it has no defined new values when $n\ge 1$; for $n=0$ it is the shift. The next free extension therefore adds no points and equips the object with an everywhere-undefined next operation. The same remains true at every subsequent free extension. Hence, for $m>n$, the composite left adjoint $F_{m-1}\cdots F_n$ has the same first $n+1$ operations and underlying set as $F_n$.

This agreement includes the monad structure, not just its underlying endofunctor. The units are the same zero-layer inclusions. The composite counit on an object of ${\mathcal{C}}_m$ is the same forced extension formula, depending only on its first $n+1$ operations. Applying the composite forgetful functor therefore gives the same multiplication $G_n\epsilon F_n$. Thus

Next prove creation of the required split coequalizers. Suppose $f,g:B\rightrightarrows C$ are arrows in ${\mathcal{C}}_{n+1}$ and their images have a split coequalizer $q:C\to Q$ in ${\mathcal{C}}_n$. Choose the splitting orientationwith $s:Q\to C$, $t:C\to B$ morphisms in ${\mathcal{C}}_n$. Denote the top operations on $B,C$ by $b,c$. For $z\in Q_n$ defineSince $s$ preserves the lower operations, $s(z)\in C_n$ and this value exists. For $y\in C_n$, $t(y)\in B_n$, so preservation by $f,g$ givesThus $q$ respects the top operation. The splitting $s$ and $qs=1$ also show that this is the unique operation on its prescribed domain $Q_n$ for which $q$ is a morphism. For $n=0$ all these domains mean the whole underlying set.

If $u:C\to D$ is a ${\mathcal{C}}_{n+1}$ morphism equalizing $f,g$, its unique factor $v:Q\to G_{n}D$ in ${\mathcal{C}}_n$ satisfies, on $Q_n$,where $d$ is the top operation of $D$. Hence $v$ is a ${\mathcal{C}}_{n+1}$ morphism. This proves $G_n$ creates coequalizers of $G_n$-split pairs.

Moreover, $G_n$ reflects isomorphisms: an isomorphism of the first $n$ operations reflects their fixed-point conditions, hence the domain of the next operation; the inverse of a bijective top-operation-preserving map then preserves that operation too. The Beck monadicity theorem now givesUnder this equivalence, the first Eilenberg-Moore comparison functor for the long composite is exactly forgetting all operations after the $(n+1)$st: its algebra structure is the top-operation extension formula already computed. Repeating the argument identifies its monadic tower with the successive categoriesAt each stage the corresponding comparison has the remaining composite of the already constructed free extensions as a left adjoint.

No earlier stage can be an equivalence of categories. For $j<m$, take the two-point set with its first $j$ operations all identities. One extension to ${\mathcal{C}}_m$ has every later operation the identity; another has its $(j+1)$st operation interchange the two points, and all subsequent operations undefined. Both have the same image in ${\mathcal{C}}_j$, but the identity function between those images is not a morphism between the extensions. Thus forgetting from ${\mathcal{C}}_m$ to ${\mathcal{C}}_j$ is not full. The final comparison at $j=m$ is an equivalence. This proves the monadic tower for nested partial unary operations has

An opmonoidal monad on a monoidal category is a monad $(T,\eta ,\mu )$ whose endofunctor is an opmonoidal functor and whose unit and multiplication of a monad are opmonoidal natural transformations. Suppress only the canonical parentheses. Explicitly,The composite opmonoidal functor $T^2$ has tensor comparison $T_2(TX,TY)T(T_2(X,Y))$ and unit comparison $T_{0}T(T_0)$, explaining the last two equations.

For two algebras for a monad $(X,a)$ and $(Y,b)$, defineLet $c=(a\otimes b)T_2(X,Y)$. The unit law for a monad algebra follows at once from the opmonoidality of $\eta$:For the multiplication law, naturality of $T_2$, the algebra laws, and the opmonoidality of $\mu$ giveThe two unit-comparison equations above similarly make $(I,T_0)$ a algebra for a monad. If $f,g$ are morphisms of algebras for a monad, naturality of $T_2$ shows that $f\otimes g$ is an algebra morphism.

For a third algebra $(Z,d)$, the base associator is also an algebra morphism: its intertwining equation is precisely the opmonoidal associativity axiom, followed by $a\otimes b\otimes d$. The two base unitors are algebra morphisms by the opmonoidal unit axioms. Their pentagon and triangle commute because they commute after the faithful forgetful functor, and the lifted maps have exactly the same underlying morphisms.

The Eilenberg-Moore category is therefore monoidal, with these lifted constraints. Its forgetful functor $U:{\mathcal{C}}^T\to \mathcal{C}$ preserves the tensor product, unit object and constraints exactly, so it is a strict monoidal functor.

On the monoidal category of modules over the commutative ring $k$, consider the monad $T=H{\otimes }_k-$ coming from the unit and multiplication of the bialgebra $H$. Its opmonoidal functor structure has comparison mapsHere and below Sweedler notation abbreviates the comultiplication $\Delta h=\sum h_{(1)}\otimes h_{(2)}$. The opmonoidal associativity and unit axioms are the coassociativity and counit laws of the coalgebra. The unit and multiplication of a monad are opmonoidal natural transformations because the bialgebra axioms sayThe Eilenberg-Moore category of this opmonoidal monad is the category of left $H$-modules: a monad-algebra map $H{\otimes }_{k}M\to M$ is exactly a unital associative action.

Applying the preceding construction gives the diagonal bialgebra action and the unit actionThe usual associators and unitors for the tensor product of modules are $H$-linear, and the underlying tensor product is exactly ${\otimes }_k$. The forgetful functor into $k$-modules is strict monoidal. The base need not be a field; the modules need be neither flat modules nor finitely generated modules.

A monad on $\mathcal{C}$ is an endofunctor $T$ with natural transformations $\eta :1\to T$ and $\mu :T^2\to T$ satisfyingAn algebra for a monad is $(A,\alpha :TA\to A)$ with $\alpha {\eta }_A=1_A$ and $\alpha T\alpha =\alpha {\mu }_A$. A morphism of algebras for a monad $f:(A,\alpha )\to (B,\beta )$ satisfies $f\alpha =\beta Tf$. These form the Eilenberg-Moore category ${\mathcal{C}}^T$. Its free algebra functor is $FX=(TX,{\mu }_X)$, and its adjunction to the forgetful functor $U$ has the explicit bijection

Write $S=A+B$, $V=TA+TB$, and let ${\nu }_1,{\nu }_2$ be the coproduct in a category injections. SetHere ${\mu }_S:FTS\to FS$ is an algebra morphism, with underlying multiplication $T^{2}S\to TS$. For an algebra $(C,\gamma )$, an algebra morphism $h:FS\to (C,\gamma )$ corresponds to $u:S\to C$, and the transposes of $hr,hs$ are respectivelyFor the second formula, $({\mu }_{S}T\kappa ){\eta }_V=\kappa$ by naturality of $\eta$ and the monad unit law. Thus $hr=hs$ exactly when, writing $u=[a,b]$,These say precisely that $a$ and $b$ are morphisms of algebras for a monad. Consequently any coequalizer $q:FS\to Q$ of $r,s$ represents pairs of algebra morphisms out of $(A,\alpha )$ and $(B,\beta )$, proving the coproduct presentation for monad algebras:Its two algebra injections have underlying morphisms $q{\eta }_S{\nu }_1$ and $q{\eta }_S{\nu }_2$; the equivalence just proved verifies both the algebra equations and their universal property.

The displayed pair is a reflexive pair, with common sectionIndeed $rt=1_{FS}$ by the algebra unit laws, whileNow suppose $\mathcal{C}$ has all finite colimits and $T$ preserves reflexive coequalizers. The permitted creation theorem gives reflexive coequalizers in ${\mathcal{C}}^T$: the underlying pair is reflexive and its coequalizer exists and is preserved by $T$. The preceding construction therefore gives binary algebra coproducts in a category. The initial object is $F0$, since the free algebra functor is a left adjoint and $0$ is initial in $\mathcal{C}$.

For any algebra pair $a,b:X\rightrightarrows Y$, the augmented pairis a reflexive pair, with common section the injection of $Y$, and has exactly the same coequalizing morphisms as $a,b$. Hence all coequalizers exist in ${\mathcal{C}}^T$. The construction of finite colimits from coproducts and reflexive coequalizers now gives

Use $\mathbb{N}=\{0,1,\dots \}$, as required by the formula at zero, and composition of functions as multiplication in $M$. The displayed $T$ preserves identities, and for $n>0$,both sides send zero to zero. Thus $T$ is a functor on the one-object category.

For the shift monad on order-preserving maps of natural numbers, setThese are order-preserving functions. The equations $Tf\eta =\eta f$ and $\mu T^{2}f=Tf\mu$ hold pointwise, giving the required natural transformations. For the second equation, both sides are zero at $n=0,1$, and are $f(n-2)+1$ for $n\ge 2$. The two unit laws are $\mu \eta =\mu T\eta =1$. Associativity is checked byConsequently these maps define a monad. It is not an idempotent monad, since $\mu (0)=\mu (1)$, so $\mu$ cannot be invertible.

An algebra for a monad is a map $a\in M$ with $a\eta =1$ and $aTa=a\mu$. The first equation forces $a(n+1)=n$; monotonicity then forces $a(0)=0$. Thus $a=\mu$, which satisfies the second equation by the monad associativity law. The Eilenberg-Moore category therefore has exactly one object. Its endomorphisms $h$ satisfy $h\mu =\mu Th$, and this equation holds precisely when $h(0)=0$: evaluate at zero for necessity, and at $n>0$ both sides equal $h(n-1)$.

The Kleisli comparison functor takes its only object to this only algebra and sends $f\in M$ toIt is a bijection from the Kleisli arrows to the algebra endomorphisms, with inverse $h\mapsto (n\mapsto h(n+1))$. It preserves identities and composition by the comparison construction; directly, $K(\eta )=1$ and $K(g\star f)=K(g)K(f)$. Bijectivity on objects and arrows makes it an isomorphism of categories:

For $L⊣R$ inducing $T$, the Kleisli comparison functor is always full and faithful, since the adjunction givesTherefore it is part of an equivalence of categories if and only if every object of $\mathcal{D}$ is isomorphic to $LA$ for some $A$.

For an idempotent monad, multiplication is invertible. The unit laws imply $T\eta =\eta T={\mu }^{-1}$. If $(A,a)$ is an algebra for a monad, then $a{\eta }_A=1_A$, while naturality of $\eta$ givesThus $a:TA\to A$ is an isomorphism with inverse ${\eta }_A$. The algebra law $a{\mu }_A=aT(a)$ says that $a$ is a morphism of algebras for a monad from the free algebra $(TA,{\mu }_A)$ to $(A,a)$, so every object of the Eilenberg-Moore category is isomorphic to a free algebra. The criterion above yields

An adjunction $F⊣G$ is equivalently specified by a unit and counit of an adjunctionsatisfying the triangle identities

Let $F_i⊣G_i$ have units ${\eta }_i$ and counits ${\epsilon }_i$. The mate correspondence sends $\alpha :F_1\to F_2$ toConversely, $\beta :G_2\to G_1$ givesNaturality and the triangle identities show that the two constructions are inverse, yielding the required bijection of natural transformations.

Now let the endofunctor $F$ carry a monad $(F,\eta ,\mu )$ and let $F⊣G$. Taking right mates turnsinto a counit $ϵ:G\to 1$ and comultiplication $\delta :G\to G^2$. Since mates reverse composition, the monad unit and associativity laws become the comonad counit and coassociativity laws. Moreover, a map $FA\to A$ corresponds under the adjunction to a map $A\to GA$, and the algebra axioms correspond exactly to the coalgebra axioms. This is the monad on a left adjoint induces a comonad on its right adjoint construction and gives an isomorphism of the two structure categories.

For a monoid $M$, the free-$M$-set functor is $F(X)=M\times X$, and its algebras are precisely left $M$-sets, the objects of $[M,\mathbf{Set}]$. Its right adjoint is $G(X)=X^M$. The preceding isomorphism identifies $[M,\mathbf{Set}]$ with the Eilenberg-Moore category of coalgebras for the induced comonad on sets, compatibly with the forgetful functor. Therefore

A monad on $\mathcal{C}$ is an endofunctor $T$ with natural transformationssatisfying $\mu T\mu =\mu \mu T$ and $\mu T\eta =1_T=\mu \eta T$. Its Eilenberg-Moore category ${\mathcal{C}}^T$ has algebras for a monad $(A,a:TA\to A)$ satisfyingand morphisms of algebras for a monad $f:(A,a)\to (B,b)$ satisfying $fa=bT(f)$.

The Kleisli category ${\mathcal{C}}_T$ has the objects of $\mathcal{C}$ andIts identity is ${\eta }_A$, while the composite of $f:A\to TB$ and $g:B\to TC$ is ${\mu }_{C}T(g)f$. The free functor into a Kleisli category $F_T:\mathcal{C}\to {\mathcal{C}}_T$ is the identity on objects and sends $f:A\to B$ to ${\eta }_{B}f$.

On the functor category $[\mathcal{D},\mathcal{C}]$, postcomposition gives the pointwise monad on a functor categoryThe monad laws hold componentwise. A $T_{\ast }$-algebra is a functor $F:\mathcal{D}\to \mathcal{C}$ with a natural transformation $a:TF\to F$ whose components are $T$-algebras. Naturality says precisely that every $F(u)$ is an algebra morphism. Hence sending $(F,a)$ to the lifted functor $\mathcal{D}\to {\mathcal{C}}^T$ gives an isomorphism, and in particular an equivalence,

On $[\mathcal{C},\mathcal{D}]$, precomposition gives the precomposition monad on a functor categoryA $T^{\ast }$-algebra is a natural transformation $a:GT\to G$ satisfying $aG\eta =1_G$ and $a(aT)=aG\mu$. From it define $\bar{G}:{\mathcal{C}}_T\to \mathcal{D}$ byThe two algebra laws say exactly that $\bar{G}$ preserves identities and Kleisli composition, and $\bar{G}{F}_T=G$. Conversely, a factorization $G=\bar{G}{F}_T$ giveswhere $1_{TA}$ represents a Kleisli arrow $TA\to A$. These constructions are inverse on objects and morphisms, so

For $F:\mathcal{C}\rightleftarrows \mathcal{D}:G$ with $F⊣G$, the monad induced by an adjunction is $T=GF$, with unit the adjunction unit and multiplication $\mu =G\epsilon F$. An algebra for a monad is a map $a:TA\to A$ satisfying $a{\eta }_A=1_A$ and $aT(a)=a{\mu }_A$. The Eilenberg-Moore comparison functor isand sends a morphism $h$ to $Gh$.

Given a $T$-algebra $(A,a)$, form in $\mathcal{D}$ the coequalizerThe pair is reflexive, with common section $F{\eta }_A$, so it exists by hypothesis. A map $J(A,a)\to D$ is equivalently a map $FA\to D$ equalizing the pair. Under adjunction this is exactly a map $A\to GD$ satisfying the $T$-algebra homomorphism equation. Hencenaturally, and $J⊣K$. Iterating these comparison adjunctions gives the monadic tower; the monadic length is the least number of steps required to reach an equivalence.

For a pair of sets $(X_0,X_1)$, defineA pair of maps $X_0\to A_0$, $X_1\to A_1$ extends uniquely to a commutative square from this inclusion to any injection $A_0\hookrightarrow A_1$, proving that $F$ is left adjoint to the forgetful functor $U:\mathbf{Mono}(\mathbf{Set})\to \mathbf{Set}\times \mathbf{Set}$.

The induced monad sends $(X_0,X_1)$ to $(X_0,X_0\bigsqcup X_1)$. Its algebra unit laws show that an algebra is precisely an arbitrary function $X_0\to X_1$, with no injectivity requirement. Thus its Eilenberg-Moore category is the arrow category $[2,\mathbf{Set}]$, and the comparison functor is the full inclusion of injections into all functions. This inclusion is not an equivalence, so the original adjunction is not monadic. It is reflective: a function $f:A_0\to A_1$ maps to its image inclusion $\mathrm{im}f\hookrightarrow A_1$. The supplied result that reflections are monadic says that the next comparison is an equivalence. Therefore the original adjunction has monadic length $2$.