5
$\begingroup$

I think this is probably elementary, but some searching (and asking on the chatroom) hasn't turned up a result. Could anyone point me to a reference for (or counterexample to) the following statement?

Given categories $\mathcal{C}, \mathcal{D}, \mathcal{E}$ and comonadic adjunctions $\mathcal{C} \rightleftarrows \mathcal{D}, \mathcal{D} \rightleftarrows \mathcal{E}$, the composite adjunction is comonadic.

$\endgroup$

3 Answers 3

13
$\begingroup$

This is not true in general. Note that by passage to the opposite category, your question is equivalent to asking that a composite of monadic functors is monadic. A counterexample for that is the following:

The category $\mathbf{Cat}$ of small categories is monadic over the category $\mathbf{Grph}$ of (directed) graphs (with loops), and $\mathbf{Grph}$ is monadic over $\mathbf{Set}$. But there is no monadic functor from $\mathbf{Cat}$ to $\mathbf{Set}$. Details can be found on page 107 of "Toposes, Triples and Theories" by Barr and Wells.

$\endgroup$
5
  • $\begingroup$ Are graphs really monadic over $\mathbf{Set}$? I would have expected $\mathbf{Set} \times \mathbf{Set}$. $\endgroup$
    – Zhen Lin
    Jan 7, 2014 at 16:41
  • $\begingroup$ Well, it is also monadic over $\mathbf{Set}\times \mathbf{Set}$, but the functor which sends a graph to its set of arrows is also monadic. In fact, there is a three element monoid in $\mathbf{Set}$ whose category of actions is equivalent to graphs (see exercise (GRMN) on page 107 of "TTT"). $\endgroup$ Jan 7, 2014 at 16:58
  • 1
    $\begingroup$ Sorry, the functor in question sends a graph to the disjoint union of its set of arrows and its set of vertices, not just its set of arrows. The two nontrivial elements $s,t$ of the monoid act trivially on the set of objects, and send arrows to their source and target respectively. The usual relations that source of the target is target etc. have to be imposed. $\endgroup$ Jan 7, 2014 at 17:14
  • 1
    $\begingroup$ Right, the usual example is that $\mathbf{Cat}$ is monadic over reflexive graphs, and reflexive graphs are monadic over $\mathbf{Set}$ by sending a reflexive graph to its set of arrows; indeed the category of reflexive graphs is equivalent to the category of actions of the monoid with two generators $s, t$ subject to the relations $s s = s = t s$ and $s t = t = t t$. $\endgroup$
    – Todd Trimble
    Mar 6, 2016 at 16:54
  • $\begingroup$ @DanielSchäppi Yeah, TTT certainly misspoke there, unless by "graph" Barr and Wells meant reflexive graph (which I doubt they did). In particular, as you seem to recognize, the arrow functor to sets can't be monadic because it's not faithful (since it cannot detect behavior at isolated points of a graph). $\endgroup$
    – Todd Trimble
    Dec 20, 2023 at 2:38
8
$\begingroup$

As Daniel Schäppi pointed out, this is the same as asking whether the composite of two monadic functors is monadic. The answer, unfortunately, is no.

Consider locally presentable categories. By the classification theorem, every locally presentable category can be embedded as a reflective subcategory of some presheaf topos. It is not hard to see that a fully faithful functor with a left adjoint is automatically monadic. On the other hand, $[\mathcal{A}^\mathrm{op}, \mathbf{Set}]$ is monadic over $\mathbf{Set}^{\operatorname{ob} \mathcal{A}}$, as one might expect for a multi-sorted algebraic theory. Thus, for any locally presentable category $\mathcal{C}$, there exist a small category $\mathcal{A}$ and monadic functors $$\mathcal{C} \to [\mathcal{A}^\mathrm{op}, \mathbf{Set}] \to \mathbf{Set}^{\operatorname{ob} \mathcal{A}}$$ but in general the composite $\mathcal{C} \to \mathbf{Set}^{\operatorname{ob} \mathcal{A}}$ is not monadic.

Indeed, it can be shown that any category monadic over $\mathbf{Set}^I$ (for some set $I$) must be an effective regular (= Barr-exact) category. But this is not true for a general locally presentable category, such as $\mathbf{Cat}$ or $\mathbf{Poset}$.

$\endgroup$
0
4
$\begingroup$

Here is a positive result: Let $\mathcal{C} \to \mathcal{D}$ and $\mathcal{D} \to \mathcal{E}$ be two monadic functors. Assume that the underlying functor of the first monad $\mathcal{D} \to \mathcal{D}$ preserves reflexive coequalizers (this happens quite often!). Then, the composition $\mathcal{C} \to \mathcal{D} \to \mathcal{E}$ is monadic, too. This is sketched here. (Does anybody know a canonical reference for this result?) There you can also find another counterexample by Jim Dolan.

$\endgroup$
1
  • 2
    $\begingroup$ Don't know where this precise result appears, but it's closely akin to the crude monadicity theorem. $\endgroup$
    – Todd Trimble
    Mar 6, 2016 at 16:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.