Model independence of -categorical nerves
arXiv:2206.00660
Abstract
For most models of -categories an embedding of the -category of 2-categories into that of -categories has been constructed in the form of a nerve construction of some flavor. We prove that all those nerve embeddings induce equivalent functors, modulo change of model. We also show that all the nerve embeddings realize the -category of 2-categories as the sub--category of -categories that are local with respect to a certain class of maps.