Model structures for diagrammatic $(\infty, n)$-categories
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916463019819008 |
|---|---|
| author | Chanavat, Clémence Hadzihasanovic, Amar |
| author_facet | Chanavat, Clémence Hadzihasanovic, Amar |
| contents | Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $ω$-categories. We construct a model structure whose fibrant objects are diagrammatic sets in which every round pasting diagram is equivalent to a single cell -- its weak composite -- and propose them as a model of $(\infty, \infty)$-categories. For each $n < \infty$, we then construct a model structure whose fibrant objects are those $(\infty, \infty)$-categories whose cells in dimension $> n$ are all weakly invertible. We show that weak equivalences between fibrant objects are precisely morphisms that are essentially surjective on cells of all dimensions. On the way to this result, we also construct model structures for $(\infty, n)$-categories on marked diagrammatic sets, which split into a coinductive and an inductive case when $n = \infty$, and prove that they are Quillen equivalent to the unmarked model structures when $n < \infty$ and in the coinductive case of $n = \infty$. Finally, we prove that the $(\infty, 0)$-model structure is Quillen equivalent to the classical model structure on simplicial sets. This establishes the first proof of the homotopy hypothesis for a model of $\infty$-groupoids defined as $(\infty, \infty)$-categories whose cells in dimension $> 0$ are all weakly invertible. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_19053 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Model structures for diagrammatic $(\infty, n)$-categories Chanavat, Clémence Hadzihasanovic, Amar Algebraic Topology Category Theory 18N65, 18N40, 55U35, 18N20, 18N30 Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $ω$-categories. We construct a model structure whose fibrant objects are diagrammatic sets in which every round pasting diagram is equivalent to a single cell -- its weak composite -- and propose them as a model of $(\infty, \infty)$-categories. For each $n < \infty$, we then construct a model structure whose fibrant objects are those $(\infty, \infty)$-categories whose cells in dimension $> n$ are all weakly invertible. We show that weak equivalences between fibrant objects are precisely morphisms that are essentially surjective on cells of all dimensions. On the way to this result, we also construct model structures for $(\infty, n)$-categories on marked diagrammatic sets, which split into a coinductive and an inductive case when $n = \infty$, and prove that they are Quillen equivalent to the unmarked model structures when $n < \infty$ and in the coinductive case of $n = \infty$. Finally, we prove that the $(\infty, 0)$-model structure is Quillen equivalent to the classical model structure on simplicial sets. This establishes the first proof of the homotopy hypothesis for a model of $\infty$-groupoids defined as $(\infty, \infty)$-categories whose cells in dimension $> 0$ are all weakly invertible. |
| title | Model structures for diagrammatic $(\infty, n)$-categories |
| topic | Algebraic Topology Category Theory 18N65, 18N40, 55U35, 18N20, 18N30 |
| url | https://arxiv.org/abs/2410.19053 |