Abstract
The homotopy theory of ∞-operads is defined by extending Joyal's homotopy theory of ∞-categories to the category of dendroidal sets. We prove that the category of dendroidal sets is endowed with a model category structure, the fibrant objects of which are the ∞-operads (that is, dendroidal inner Kan complexes). This
... read more