Minimal fibrations of dendroidal sets

From MaRDI portal



Abstract: We prove the existence of minimal models for fibrations between dendroidal sets in the model structure for infinity-operads, as well as in the covariant model structure for algebras and in the stable one for connective spectra. In an appendix, we explain how our arguments can be used to extend the results of Cisinski, giving the existence of minimal fibrations in model categories of presheaves over generalised Reedy categories of a rather common type. Besides some applications to the theory of algebras over infinity-operads, we also prove a gluing result for parametrized connective spectra (or Gamma-spaces).


Minimal fibrations in the theory of simplicial sets provide for very rigid models of maps, rendering them particularly useful for various constructions. By a result of \textit{D.-C. Cisinski} [``Univalent universes for elegant models of homotopy types, Preprint, \url{arXiv:1406.0058}], the classical construction of minimal fibrations is a special case of the existence of minimal fibrations in a model structure of suitable Reedy diagrams. The authors show that the classical minimal fibration replacement construction extends from simplicial sets to dendroidal sets. The passage from the simplicial category \(\Delta\) to the dendroidal category \(\Omega\) involves, as usual, quite a significant refinement of classical arguments. The presentation is given in such a way that the construction immediately implies the result in the context of suitable generalised Reedy diagrams.











This page was built for publication: Minimal fibrations of dendroidal sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q728327)