Abstract
We prove the existence of minimal models for fibrations between dendroidal sets in the model structure for ∞–operads, as well as in the covariant model structure for algebras and in the stable one for connective spectra. We also explain how our arguments can be used to extend the results of
... read more