Symmetry in the cubical Joyal model structure
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915814331908096 |
|---|---|
| author | Doherty, Brandon |
| author_facet | Doherty, Brandon |
| contents | We study properties of the cubical Joyal model structures on cubical sets by means of a combinatorial construction which allows for convenient comparisons between categories of cubical sets with and without symmetries. In particular, we prove that the cubical Joyal model structures on categories of cubical sets with connections are cartesian monoidal. Our techniques also allow us to prove that the geometric product of cubical sets (with or without connections) is symmetric up to natural weak equivalence in the cubical Joyal model structure, and to obtain induced model structures for $(\infty,1)$-categories on cubical sets with symmetries. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_13842 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Symmetry in the cubical Joyal model structure Doherty, Brandon Algebraic Topology Category Theory 18N65, 18N40, 55U35, 18N60 We study properties of the cubical Joyal model structures on cubical sets by means of a combinatorial construction which allows for convenient comparisons between categories of cubical sets with and without symmetries. In particular, we prove that the cubical Joyal model structures on categories of cubical sets with connections are cartesian monoidal. Our techniques also allow us to prove that the geometric product of cubical sets (with or without connections) is symmetric up to natural weak equivalence in the cubical Joyal model structure, and to obtain induced model structures for $(\infty,1)$-categories on cubical sets with symmetries. |
| title | Symmetry in the cubical Joyal model structure |
| topic | Algebraic Topology Category Theory 18N65, 18N40, 55U35, 18N60 |
| url | https://arxiv.org/abs/2409.13842 |