Generalizing quasi-categories via model structures on simplicial sets
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916668615163904 |
|---|---|
| author | Feller, Matthew |
| author_facet | Feller, Matthew |
| contents | We use Cisinski's machinery to construct and study model structures on the category of simplicial sets whose classes of fibrant objects generalize quasi-categories. We identify a lifting condition which captures the homotopical behavior of quasi-categories without the algebraic aspects and show that there is a model structure whose fibrant objects are precisely those which satisfy this condition. We also identify a localization of this model structure whose fibrant objects satisfy a "special horn lifting" condition similar to the one satisfied by quasi-categories. This special horn model structure leads to a conjecture characterization of the bijective-on-0-simplices trivial cofibrations of the Joyal model structure. We also discuss how these model structures all relate to one another and to the minimal model structure. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2111_06512 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Generalizing quasi-categories via model structures on simplicial sets Feller, Matthew Algebraic Topology Category Theory 55U35, 18N50, 18N60 We use Cisinski's machinery to construct and study model structures on the category of simplicial sets whose classes of fibrant objects generalize quasi-categories. We identify a lifting condition which captures the homotopical behavior of quasi-categories without the algebraic aspects and show that there is a model structure whose fibrant objects are precisely those which satisfy this condition. We also identify a localization of this model structure whose fibrant objects satisfy a "special horn lifting" condition similar to the one satisfied by quasi-categories. This special horn model structure leads to a conjecture characterization of the bijective-on-0-simplices trivial cofibrations of the Joyal model structure. We also discuss how these model structures all relate to one another and to the minimal model structure. |
| title | Generalizing quasi-categories via model structures on simplicial sets |
| topic | Algebraic Topology Category Theory 55U35, 18N50, 18N60 |
| url | https://arxiv.org/abs/2111.06512 |