Presenting the topological stratified homotopy hypothesis

Abstract: This article is concerned with three different homotopy theories of stratified spaces: The one defined by Douteau and Henriques, the one defined by Haine, and the one defined by Nand-Lal. One of the central questions concerning these theories has been how precisely they connect with geometric and topological examples of stratified spaces, such as piecewise linear pseudomanifolds, Whitney stratified spaces, or more recently Ayala, Francis and Tanaka's conically smooth stratified spaces. More precisely, so far, it has been an open question whether there exist (semi-)model structures on stratified topological spaces that present these theories, in which such relevant examples of stratified spaces are bifibrant. Here, we prove an affirmative answer to this question. As a consequence, we obtain a model categorical interpretation of a stratified homotopy hypothesis. Specifically, we show that Lurie's stratified singular simplicial set functor induces a Quillen equivalence between the semimodel category of stratified topological spaces presenting Nand-Lal's homotopy theory of stratified spaces and the left Bousfield localization of the Joyal model structure that corresponds to such $\infty$-categories in which every endomorphism is an isomorphism. We then perform a detailed investigation of bifibrant objects in these model structures of stratified spaces, proving a series of detection criteria and illuminating the relationship to Quinn's homotopically stratified spaces.