Now we have encountered comparison functors, we can introduce another classical topic in monad theory, that of monadicity. A functor is monadic if it has a left adjoint, and the Eilenberg-Moore comparison functor for the induced monad is an equivalence of categories. Monadicity is a big topic, with a lot of new concepts and results to digest. For now, we shall restrict ourselves to some introductory examples. Along the way, we shall introduce a new class of monads, the idempotent monads.
Example: For any equational presentation , the obvious forgetful functor is monadic. This example motivates the term Eilenberg-Moore algebra. For example the category of Abelian groups is monadic over .
The previous example is important for intuitions about monadic functors. Informally, it is common to think of monadicity as evidence that a category is “algebraic” in nature. For monadic functors , this idea can be made mathematically precise, which we may pursue in detail in a later post.
Example: A reflective subcategory is a full subcategory such that the inclusion functor has a left adjoint. It is useful to know a subcategory is reflective, for example completeness and cocompleteness properties can then be established from standard results.
Reflective subcategories correspond to a special class of the monads. Every reflective subcategory induces an idempotent monad, that is one who’s multiplication is an isomorphism. Furthermore, the Eilenberg-Moore category of an idempotent monad is equivalent to a reflective subcategory of the base category, so these concepts are tightly connected.
- A group is said to be torsion free if implies . The category of torsion free Abelian groups is a reflective subcategory of the category of Abelian groups. The category of torsion free Abelian groups is a reflective subcategory of the category of Abelian groups .
- The category of Abelian groups is a reflective subcategory of the category of groups.
- The category of symmetric graphs is a reflective subcategory of the category of graphs.
The corresponding monads are all idempotent.
The notion of idempotent monad has many equivalent characterisations, which we may discuss in a later post.
Of course, not every functor with a left adjoint is monadic, so it would be useful to see some counterexamples.
Counterexample: Let be the category of preorders and monotone maps. There is an obvious forgetful functor , and this has a left adjoint such that has underlying set , and for all
This is sometimes referred to as the discrete preorder. The composite is the identity monad. is equivalence to , which is certainly not equivalent to .
The following is a well-known counterexample, refuting a natural conjecture.
Counterexample: Monadic functors are not closed under composition. As we have seen, the there are monadic functors and . The composite functor
has a left adjoint given by composing the two component left adjoints, but is not monadic. To see this, consider the action of the left adjoint. The groups in the image of the adjoint are all torsion free. Therefore the functor leaves them unchanged up to isomorphism. Therefore the composite functor
maps a set to the free Abelian group over that set. The algebras of the induced monad are simply the Abelian groups, and so the composite forgetful functor is not monadic.
Why would we care if a functor is monadic?
There are a lot of standard theorems allowing is to derive nice properties of Eilenberg-Moore categories from properties of the monad and its base category. For example, we might be able to establish the presence of certain limits or colimits, or that the category is regular or locally finite presentable. In some concrete situations, it might be easier to establish these properties via direct calculation, but monadicity results allow us to work axiomatically, simultaneously deriving results that apply in many situations.