Artificial intelligent assistant

Epimorphisms and Algebras Just a quick question. Suppose a monad on $\mathbf{Set}$ (in particular monad's endofunctor preserves epimorphisms), are epimorphisms in the category of algebras also surjective? Thanks

No. A well-known example is the category of rings, in which epimorphisms may fail to be surjective (e.g. $\mathbb{Z} \to \mathbb{Q}$).

What is true is that, for any monad on $\mathbf{Set}$, the _regular_ epimorphisms in the category of algebras are precisely the surjective homomorphisms.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy e52156c560b55fd31183c3fe17eb1bb5