The dendroidal formalism offers a powerful approach to defining operads as specific presheaves on a tree-based category. This combinatorial framework enables the definition of ∞-operads, wherein composition is determined up to homotopy via presheaves that satisfy a weak dendroidal inner Kan condition. Notably, the homotopy theory of ∞-operads has been shown to be equivalent, in both Quillen's sense and Lurie's ∞-categorical sense, to the theories of topological and simplicial operads.
In this talk we will review these concepts and present some open questions in enriched settings.
By Pavel Mnev
By Jae-Suk Park
By Ruben Louis
By Thomas Strobl
By Hsuan-Yi Liao
By Christian Blohmann
By Tilmann Wurzbacher
By Owen Gwilliam
By Adrien Brochier
By Jérémie Pierard de Maujouy
By Pavol Severa
