Eilenberg-Moore category

The Eilenberg-Moore category ${\mathcal{C}}^T$ consists of algebras for a monad $T$ and their structure-preserving morphisms.

For algebra maps $f,g:(A,a)\rightrightarrows (B,b)$ whose underlying maps have a split coequalizer $q:B\to Q$, every functor preserves the split diagram, including $T$ and $T^2$. Since $qb$ equalizes $Tf,Tg$, it factors uniquely to the displayed action $c:TQ\to Q$. Cancellation of the epimorphisms $q,Tq,T^{2}q$ proves the unit and multiplication laws. Any algebra-valued map equalizing the pair factors through $q$, and cancelling $Tq$ proves that its factor preserves the action. This establishes creation of that coequalizer.

Given a diagram of algebras for a monad, take any chosen limit $L$ of its underlying diagram. The displayed equations uniquely determine $a:TL\to L$, because their right-hand sides form a cone. Joint monicity of the limit projections proves $a{\eta }_L=1$ and $aT(a)=a{\mu }_L$. The same projection argument proves that every induced mediating map preserves the algebra action. Thus the forgetful functor strictly creates this limit with the prescribed underlying cone, without assuming the monad preserves limits.

For a monad $(T,\eta ,\mu )$, the free algebra functor sends $X$ to $(TX,{\mu }_X)$ and is a left adjoint to the forgetful functor from the Eilenberg-Moore category. The transpose bijection sends an monad algebra morphism $h:TX\to A$ to $h{\eta }_X$; its inverse sends $k:X\to A$ to $aT(k)$, where $a:TA\to A$ is the algebra structure. The monad and algebra laws make these inverse and natural. The adjunction unit is $\eta$ and the adjunction counit at $(A,a)$ is $a$, so the induced monad has exactly the original endofunctor, unit and multiplication.

For a functor between Eilenberg-Moore categories lying over a right adjoint on the base categories and compatible with the monad structures, an adjoint lifting theorem constructs a left adjoint when the required reflexive coequalizers of algebra presentations exist. Applied through power-object monadicity, this converts a left adjoint of a logical functor into a right adjoint of that logical functor. The coequalizer hypotheses are part of the theorem; commutation with the forgetful functors alone is insufficient.

For algebras for a monad $(A,\alpha ),(B,\beta )$ and underlying binary coproducts in a category, put $\kappa =[T{\nu }_1,T{\nu }_2]:TA+TB\to T(A+B)$. If the algebra pair $F(\alpha +\beta ),{\mu }_{A+B}F\kappa :F(TA+TB)\rightrightarrows F(A+B)$ has a coequalizer, that coequalizer is their algebra coproduct. An algebra map from $F(A+B)$ transposes to $[a,b]:A+B\to C$; equalizing the pair is exactly the two algebra-morphism equations for $a,b$. The pair is reflexive through $F({\eta }_A+{\eta }_B)$.

If $\mathcal{C}$ has finite colimits and a monad $T$ preserves reflexive coequalizers, its Eilenberg-Moore category has finite colimits. The forgetful functor creates reflexive coequalizers preserved by $T$. The coproduct presentation for monad algebras yields binary coproducts, and $F0$ is initial. Any pair $a,b:X\rightrightarrows Y$ can then be replaced by the reflexive pair $[a,1],[b,1]:X+Y\rightrightarrows Y$, with identical coequalizers. Finite coproducts and coequalizers give all finite colimits.

For $F⊣G:\mathcal{D}\to \mathcal{C}$ with induced monad $T=GF$, the Eilenberg-Moore comparison functor is

If each standard counit presentation is a coequalizer, the Eilenberg-Moore comparison functor is full and faithful. An monad algebra morphism $\alpha :GB\to GC$ makes ${\epsilon }_{C}F\alpha$ equalize $FG{\epsilon }_B$ and ${\epsilon }_{FGB}$; its unique descent is the required morphism $B\to C$. The triangle identities for an adjunction make $G{\epsilon }_B$ a split epimorphism, so descent has underlying arrow exactly $\alpha$. Epimorphic cancellation at ${\epsilon }_B$ proves faithfulness.

For an adjunction $F⊣G$, applying $G$ to its standard counit presentation gives $T^{2}GD\rightrightarrows TGD\to GD$, split by the monad units. Reflection therefore makes every counit presentation a coequalizer and gives full faithfulness by descent. Conversely, monad algebra forgetful functor creates split coequalizers makes an existing G-split quotient a coequalizer in the Eilenberg-Moore category. Fullness and faithfulness of the comparison lift its universal factorization back to the original category.

The free-forgetful adjunction for the Eilenberg-Moore category is terminal in the category of adjunctions inducing a fixed monad. The unique morphism into it is the Eilenberg-Moore comparison functor $B\mapsto (GB,G{\epsilon }_B)$. Its underlying objects and arrows are forced by the forgetful functor, and counit compatibility forces its algebra actions.

If $F⊣G:\mathcal{D}\to \mathcal{C}$ induces $T=GF$ and $\mathcal{D}$ has coequalizers of reflexive pairs, then the comparison $K:\mathcal{D}\to {\mathcal{C}}^T$ has a left adjoint. On a $T$-algebra $(A,a)$ it is the coequalizerThe pair is reflexive through $F{\eta }_A$, and its universal property gives $L⊣K$.

For $F⊣G$ inducing $T=GF$, the Eilenberg-Moore comparison functor has a left adjoint exactly when every algebra $(A,a)$ has a coequalizer $q_a:FA\to L(A,a)$ of $Fa,{\epsilon }_{FA}:FTA\rightrightarrows FA$. Transposition identifies maps equalizing this pair with monad algebra morphisms $(A,a)\to K(D)$, proving both directions of the criterion. The unit is $\lambda =G{q}_a{\eta }_A$ and satisfies $G{q}_a=\lambda a$. In the base category, $a:TA\to A$ is a split coequalizer of $Ta,{\mu }_A:T^{2}A\rightrightarrows TA$, split by ${\eta }_A$ and ${\eta }_{TA}$. Consequently $\lambda$ is invertible exactly when $G{q}_a$ is also a coequalizer. The unit is invertible everywhere precisely when $G$ preserves all these specified coequalizers; preservation of arbitrary coequalizers is not required.

When each comparison functor has a left adjoint, iterating the Eilenberg-Moore comparison functor produces the monadic tower. Its monadic length is the least number of comparison steps needed to reach an equivalence; an equivalence has length zero and a non-equivalence that is already monadic has length one.

For the nested partial unary operation category tower, each one-step forgetful functor is a monadic adjunction right adjoint: it reflects isomorphisms and creates its split coequalizers. The Beck monadicity theorem identifies the first Eilenberg-Moore category with the next category in the tower. A long composite has that same first monad because free extension of nested partial unary operations leaves no new top fixed points. Repeating the comparison forgets one fewer operation at each step. The remaining forgetful functor is not full until no operation remains to forget, giving monadic length $m-n$.

An adjunction is monadic when its comparison functor from the right-hand category to the Eilenberg-Moore category of the induced monad is an equivalence.

The induced monad determines this comparison; Beck's monadicity theorem gives a criterion for it to be an equivalence of categories.

A useful form of the crude monadicity theorem says that a right adjoint is monadic if it reflects isomorphisms and its source has and the functor preserves coequalizers of reflexive pairs.

An adjunction is comonadic when the comparison from its left-hand category to coalgebras for the induced comonad is an equivalence. The dual Beck theorem tests this using reflected isomorphisms and suitable equalizers.

The relevant criterion is the Beck comonadicity theorem, dual to Beck's monadicity theorem.

The Beck comonadicity theorem, dual to the Beck monadicity theorem, says that a left adjoint is comonadic when it reflects isomorphisms and preserves the required equalizers of pairs whose images admit split equalizers. A stronger convenient hypothesis is that it preserves all equalizers.

The precise monadicity theorem says that a right adjoint is monadic exactly when it reflects isomorphisms and creates coequalizers of the pairs whose images have split coequalizers.