Gray products of diagrammatic $(\infty, n)$-categories
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916717516554240 |
|---|---|
| author | Chanavat, Clémence |
| author_facet | Chanavat, Clémence |
| contents | For each $n \in \mathbb{N} \cup \{\infty\}$, diagrammatic sets admit a model structure whose fibrant objects are the diagrammatic $(\infty, n)$- categories. They also support a notion of Gray product given by the Day convolution of a monoidal structure on their base category. The goal of this article is to show that the model structures are monoidal with respect to the Gray product. On the way to the result, we also prove that the Gray product of any cell and an equivalence is again an equivalence. Finally, we show that tensoring on the left or the right with the walking equivalence is a functorial cylinder for the model structures, and that the functor sending a diagrammatic set to its opposite is a Quillen self-equivalence. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_01387 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Gray products of diagrammatic $(\infty, n)$-categories Chanavat, Clémence Algebraic Topology Category Theory 18N65, 18N40, 18M05, 55U35 For each $n \in \mathbb{N} \cup \{\infty\}$, diagrammatic sets admit a model structure whose fibrant objects are the diagrammatic $(\infty, n)$- categories. They also support a notion of Gray product given by the Day convolution of a monoidal structure on their base category. The goal of this article is to show that the model structures are monoidal with respect to the Gray product. On the way to the result, we also prove that the Gray product of any cell and an equivalence is again an equivalence. Finally, we show that tensoring on the left or the right with the walking equivalence is a functorial cylinder for the model structures, and that the functor sending a diagrammatic set to its opposite is a Quillen self-equivalence. |
| title | Gray products of diagrammatic $(\infty, n)$-categories |
| topic | Algebraic Topology Category Theory 18N65, 18N40, 18M05, 55U35 |
| url | https://arxiv.org/abs/2505.01387 |