Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces (Q2187736): Difference between revisions

This paper builds on a lot of previous work on \((\infty,n)\)-categories and ends with a great result: a model structure on (pre)stratified simplicial sets or spaces that gives us another way to think about these kinds of higher categories. There is a lot of heavy machinery here: the appendices of technical results are almost half the paper! But I say this as a great benefit: the reader does not need to look far and wide to find the key arguments (as opposed to, say, having to run back and forth between a paper and various works of Lurie every other sentence). It is also appreciated that the authors translate the necessary results of Cisinski from the original French in Appendix A. To summarise the main result: there is a category of simplicial sets with certain simplices marked, subject to some obvious relations. If we think of these markings as `this simplex is an equivalence', there is an analogy between these marked simplicial sets and quasicategories, where there one makes sure that all simplices of dimension 2 or higher are marked/equivalences. The argument proceeds mostly agnostic of which \(n\) we are aiming for in the modelling of \((\infty,n)\)-categories, which is a significant benefit. A similar argument is then made for marked simplicial spaces. There would probably be a benefit to having read previous work of Ara, Riehl, and Verity that this paper cites to understand the development of this result. This particular reviewer did not do so, and I believe the paper stands as a self-contained work. Anyone interested in the models of higher categories should dive in immediately; anyone using higher categories having not thought about the model-theoretic skeleton supporting them should probably read this as well.