Orientals as free weak -categories
arXiv:2102.09736 · doi:10.1016/j.jpaa.2022.107230
Abstract
The orientals are the free strict -categories on the simplices introduced by Street. The aim of this paper is to show that they are also the free weak -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.
v2: 24 pages. Major revision. Published version