4
$\begingroup$

I have a monad on an ind-category (specifically, my ind-category has a monoidal structure and I have an algebra object, so the monad is tensoring with it). It would be very useful in my work if the Eilenberg-Moore category of the monad it itself an ind-category. Is there a known criterion for the monad for this to be true? Further, is there a handy description for a generating sub-category of modules? I'm also happy to use the dual case of a comonad on a pro-category if there's a break in symmetry that makes that an easier question.

$\endgroup$
3
  • $\begingroup$ I would guess that the conjecture for monads on ind categories is correct (exactly) when the functor part of the monad preserves filtered colimits. Dually with comonads on pro categories when the functor preserves cofilteed limits. Maybe even comonads on ind categories if filtered colimits are preserved. $\endgroup$ Mar 16, 2022 at 13:28
  • 3
    $\begingroup$ It is certainly true that the Eilenberg–Moore category of a finitary (i.e. filtered-colimit preserving) monad on an accessible category (i.e. Ind-category) is itself accessible (i.e. an Ind-category). $\endgroup$
    – varkor
    Mar 16, 2022 at 15:48
  • $\begingroup$ @varkor you should write this as an answer. I don't think there is a better criterion. $\endgroup$ Mar 16, 2022 at 15:56

1 Answer 1

8
$\begingroup$

Let $T$ be a monad on an accessible category (i.e. an $\mathbf{Ind}$-category). If the underlying endofunctor of $T$ is finitary (i.e. preserves filtered colimits), then the Eilenberg–Moore category of $T$ is also accessible. This is proven (in slightly more generality) in Theorem 2.78 of Adámek–Rosický's Locally presentable and accessible categories, for instance.

$\endgroup$
2
  • $\begingroup$ @SimonHenry: I realised I made a mistake after posting the comment. What I meant was that I suspect in this case the Eilenberg–Moore category is the $\mathbf{Ind}$-completion of the completion under coequalisers of T-algebra homomorphisms, of the subcategory of the Kleisli category of the monad on the finitely presentable objects. $\endgroup$
    – varkor
    Mar 16, 2022 at 16:37
  • $\begingroup$ Thank you very much for that (and for the helpful reference). The suggestion for the generating category in your comment is also a useful direction to pursue. $\endgroup$ Mar 17, 2022 at 17:18

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.