 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)$.