Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Combinatorial models for stratified homotopy theory

Lukas Waas

Abstract

This paper is part of a series of three articles with the objective of investigating a stratified version of the homotopy hypothesis in terms of semi-model structures that interact well with classical examples of stratified spaces, such as Whitney stratified spaces. To this end, we prove the existence of several combinatorial simplicial model structures in the combinatorial setting of stratified simplicial sets. One of these we show to be Quillen equivalent to the left Bousfield localization of the Joyal model structure that presents the $(\infty,1)$-category of layered $(\infty,1)$-categories, i.e., such $(\infty,1)$-categories in which every endomorphism is an isomorphism.

Combinatorial models for stratified homotopy theory

Abstract

This paper is part of a series of three articles with the objective of investigating a stratified version of the homotopy hypothesis in terms of semi-model structures that interact well with classical examples of stratified spaces, such as Whitney stratified spaces. To this end, we prove the existence of several combinatorial simplicial model structures in the combinatorial setting of stratified simplicial sets. One of these we show to be Quillen equivalent to the left Bousfield localization of the Joyal model structure that presents the -category of layered -categories, i.e., such -categories in which every endomorphism is an isomorphism.
Paper Structure (5 sections, 5 theorems, 17 equations)

This paper contains 5 sections, 5 theorems, 17 equations.

Table of Contents

  1. Introduction
  2. Language and notation
  3. Combinatorial models over a fixed poset
  4. The minimalist- and the Joyal-Kan approach
  5. Homotopy links and a model structure for décollages

Key Result

Proposition 2.1.3

The simplicial model category ${\underline{\textnormal{sStrat}}}_{P}^{\mathfrak c}$ is the left Bousfield localization of ${\underline{\textnormal{sStrat}}}_{P}^{\mathfrak d}$ at the class of stratified inner horn inclusions.

Theorems & Definitions (12)

  • Remark 1.1.3
  • Remark 1.1.4
  • Proposition 2.1.3
  • proof
  • Corollary 2.1.4
  • Remark 2.1.5
  • Proposition 2.1.6
  • proof
  • Corollary 2.2.2
  • Remark 2.2.3
  • ...and 2 more