Rigidification of higher categorical structures (Q728324)

The authors prove a rigidification theorem for the category of models of a limit sketch in which the cones have a finite connected base. They show that a model structure of ``up to homotopy'' models for this limit sketch in a suitable model category can be transferred to a Quillen-equivalent model structure on the category of strict models. As a corollary of the general result, they obtain a rigidification theorem which asserts in particular that any \(n\)-space in the sense of Rezk is levelwise equivalent to one that satisfies the Segal conditions. There are similar results for dendroidal spaces and \(n\)-fold Segal spaces.