Abstract:In this paper we prove the equivalence of two symmetric monoidal $\infty$-categories of $\infty$-operads, the one defined in Lurie's book on Higher Algebra and the one based on dendroidal spaces. V.2 Some corrections made and exposition slightly altered.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish an equivalence relationship between two different symmetric monoidal ∞ -categories. These two categories are:
1. **Lurie's ∞ -operads**: The ∞ -operads on simplicial sets defined by Lurie, see specifically Section 2 of [L.HA].
2. **Dendroidal ∞ -operads**: The ∞ -operads defined based on dendroidal spaces, see specifically [CM].
Both of these categories are symmetric monoidal ∞ -categories, and the single - object structure in them is similar to the Boardman - Vogt tensor product. The goal of the paper is to prove that these two categories are equivalent at the level of symmetric monoidal ∞ -categories.
### Specific Problem Description
1. **Background and Motivation**:
- Previous research has already proven the equivalence between Lurie's ∞ -operads and dendroidal ∞ -operads under certain specific conditions, for example, in the case without constant terms [HHM].
- Barwick constructed another ∞ -category based on the operator category and proved its equivalence to Lurie's version [B].
- [CHH] studied the equivalence between the dendroidal model and Barwick's version at the ∞ -category level, but did not involve the equivalence of the symmetric monoidal structure.
2. **Main Contributions**:
- The goal of this paper is to provide a relatively direct and explicit proof of equivalence, not only at the ∞ -category level, but also at the level of symmetric monoidal ∞ -categories.
- The author uses a functor \( \omega: F \to \Phi \) from level forests to forests, and through this functor constructs two main functors \( \lambda \) and \( \delta \):
\[
\lambda: \text{DOp} \to \text{LOp}, \quad \lambda(D)(A)=\text{Map}_{\text{DOp}}(\omega(A), D)
\]
\[
\delta: \text{LOp} \to \text{DOp}, \quad \delta(L)(F)=\text{Map}_{\text{LOp}}(i(F), L)
\]
- Where \( A, D, F, L \) are objects in \( F, \text{DOp}, \Phi, \text{LOp} \) respectively, and \( i \) represents embedding objects in \( \Phi \) into \( \text{LOp} \) as free operads.
3. **Technical Details**:
- In order to prove this stronger result, the author uses the colax symmetric monoidal structure on copresheaves, which may be of independent interest.
- The proof also uses the operad algebraic analogy theorem, in particular the comparison theorem of Pavlov and Scholbach [PS], which shows that the ∞ -category on simplicial algebras is equivalent to the algebraic analogy of the corresponding ∞ -operad on spaces.
- The author also proves a reconstruction theorem about ∞ -operads, that is, if a map \( P \to Q \) is essentially surjective on colors and induces an equivalence of algebraic analogies on spaces, then the map itself is an equivalence.
### Summary
The main goal of this paper is to construct specific functors \( \lambda \) and \( \delta \)