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

Abstract

In this paper, we prove the equivalence of two symmetric monoidal $\infty$-categories of $\infty$-operads, the one defined in Lurie [Higher algebra, available at the author's homepage, http://math.ias.edu/~lurie/, September 2017 version] and the one based on dendroidal spaces.