Coproduct presentation for monad algebras

For algebras for a monad $(A,\alpha ),(B,\beta )$ and underlying binary coproducts in a category, put $\kappa =[T{\nu }_1,T{\nu }_2]:TA+TB\to T(A+B)$. If the algebra pair $F(\alpha +\beta ),{\mu }_{A+B}F\kappa :F(TA+TB)\rightrightarrows F(A+B)$ has a coequalizer, that coequalizer is their algebra coproduct. An algebra map from $F(A+B)$ transposes to $[a,b]:A+B\to C$; equalizing the pair is exactly the two algebra-morphism equations for $a,b$. The pair is reflexive through $F({\eta }_A+{\eta }_B)$.

If $\mathcal{C}$ has finite colimits and a monad $T$ preserves reflexive coequalizers, its Eilenberg-Moore category has finite colimits. The forgetful functor creates reflexive coequalizers preserved by $T$. The coproduct presentation for monad algebras yields binary coproducts, and $F0$ is initial. Any pair $a,b:X\rightrightarrows Y$ can then be replaced by the reflexive pair $[a,1],[b,1]:X+Y\rightrightarrows Y$, with identical coequalizers. Finite coproducts and coequalizers give all finite colimits.