  We develop a theory of Eilenberg-Moore objects in any $(\infty,2)$-category
and extend Barr-Beck's monadicity theorem to any $(\infty,2)$-category that
admits Eilenberg-Moore objects. We apply this result to various
$(\infty,2)$-categories of higher algebraic structures to obtain a monadicity
theorem for enriched $\infty$-categories, $\infty$-operads and higher Segal
objects. Analyzing Eilenberg-Moore objects in the $(\infty,2)$-categories of
symmetric monoidal $\infty$-categories and lax (oplax) symmetric monoidal
functors we extend classical results about lax (oplax) symmetric monoidal
monads to the $\infty$-categorical world: we construct two tensor products for
algebras over lax (oplax) symmetric monoidal monads, respectively: the first
one extends the relative tensor product for modules over an
$\mathbb{E}_{\mathrm{k}}$-algebra for $2 \leq \mathrm{k} \leq \infty$, the
second one generalizes the object-wise tensor product for
$\mathbb{E}_{\mathrm{k}}$-algebras in any $\mathbb{E}_{\mathrm{k}}$-monoidal
$\infty$-category. As an application we construct a tensor product for algebras
over any Hopf $\infty$-operad.
