I'm interested in conditions on a category of modules of a monad on a topos satisfies the property that
- Every monomorphism is the equalizer of its cokernel pair.
Every topos itself satisfies this property, and some varieties of algebras do as well (for example, groups, and commutative idempotent monoids).
I'm wondering about general conditions under which this holds.