Abstract
We compare two approaches to the homotopy theory of ∞-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and ∞-categories which replaces simplices by trees. The other is based on a certain homotopy theory of marked simplicial sets over
... read more