Model structures for -categories on (pre)stratified simplicial sets and prestratified simplicial spaces
arXiv:1809.10621 · doi:10.2140/agt.2020.20.1543
Abstract
We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely -complicial sets, which are a proposed model for -categories, based on previous work of Verity and Riehl. We then construct a Quillen equivalent model based on simplicial presheaves over a category that can facilitate the comparison with other established models.
Final version