On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads

TL;DR

This paper proves the equivalence between two different models of $$-operads, one from Lurie's Higher Algebra and another based on dendroidal spaces, clarifying their conceptual unity.

Contribution

It establishes a rigorous equivalence between Lurie's $$-operads and dendroidal $$-operads, unifying two prominent frameworks in higher algebra.

Findings

Proves the equivalence of the two models of $$-operads.

Clarifies the relationship between Lurie's and dendroidal approaches.

Provides foundational support for using either model interchangeably.

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.