Orientals as free weak $\omega$-categories
Abstract
The orientals are the free strict $\omega$-categories on the simplices introduced by Street. The aim of this paper is to show that they are also the free weak $\omega$-categories on the same generating data. More precisely, we exhibit the Street nerves of the orientals as fibrant replacements of the simplices in Verity's model structure for complicial sets.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2021
- DOI:
- 10.48550/arXiv.2102.09736
- arXiv:
- arXiv:2102.09736
- Bibcode:
- 2021arXiv210209736M
- Keywords:
-
- Mathematics - Category Theory;
- 18N30;
- 18N40;
- 18N50;
- 18N65
- E-Print:
- v2: 24 pages. Major revision. Published version