All Questions
Tagged with monads limits-and-colimits
1 questions from the last 30 days
3
votes
0
answers
49
views
When does a lax monad morphism induce a functor between categories of algebras that preserves reflexive coequalisers?
Let $S$ be a monad on a category $\mathbf C$. If $\mathbf C$ is cocomplete, and the category of algebras $\mathbf C^S$ admits reflexive coequalisers, then $\mathbf C^S$ is cocomplete. Thus, it is ...
- 10.7k