A monadicity theorem for higher algebraic structures

Hadrian Heine

2023-07-20

Abstract: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.

Category Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to generalize the monadicity theorem in higher - order algebraic structures. Specifically, the goals of the paper are:

1. **Develop a theoretical framework**: Develop the theory of Eilenberg - Moore objects in any \((\infty, 2)\)-category and extend the Barr - Beck monadicity theorem to any \((\infty, 2)\)-category with Eilenberg - Moore objects.

2. **Apply to higher - order algebraic structures**: Apply the above - mentioned theory to the \((\infty, 2)\)-categories of various higher - order algebraic structures, such as enriched \(\infty\)-categories, \(\infty\)-operads and higher - order Segal objects, so as to obtain the monadicity theorems of these structures.

3. **Construct tensor products**: Analyze the Eilenberg - Moore objects in symmetric monoidal \(\infty\)-categories and lax (or strict) symmetric monoidal functors, and extend the classical conclusions about lax (or strict) symmetric monoidal monads to the \(\infty\)-category world. Specifically, construct two kinds of tensor products:
- The first one extends the relative tensor product of \(E_k\)-algebra modules (\(2\leq k\leq\infty\)).
- The second one generalizes the object - level tensor product in any \(E_k\)-monoidal \(\infty\)-category.

4. **Application of Hopf \(\infty\)-operads**: As an application, construct the tensor product on any Hopf \(\infty\)-operad algebra.

Through these goals, the paper aims to provide a unified framework for dealing with and understanding monadicity and related concepts in higher - order algebraic structures, especially in \(\infty\)-category theory. This not only contributes to the development of the theory, but also provides a powerful tool for practical applications.