Comparison of models for \((\infty , n)\)-categories. I (Q357741): Difference between revisions

A structure may be called an \((\infty,n)\)-category if it has \(i\)-morphisms for \(i=1,2,3,\ldots\,\) and if the \(i\)-morphisms with \(i>n\) are invertible; there are many different kinds. It is known that many kinds of \((\infty,1)\)-category have Quillen equivalent model structures. In this paper the authors extend some of these results to arbitrary \(n\). They construct two different model structures on a higher analogue of Segal categories, and they construct a model structure on a higher analogue of simplicial categories. They also show that their model structures are Quillen equivalent.