Model independence of $(\infty,2)$-categorical nerves
Lyne Moser, Viktoriya Ozornova, Martina Rovelli

TL;DR
This paper demonstrates that various models of $( olinebreak\infty,2)$-categories are essentially equivalent through nerve embeddings, establishing a model-independent understanding of their structure.
Contribution
It proves the equivalence of all nerve embeddings across different models of $(\infty,2)$-categories, showing they induce the same functor up to model change.
Findings
All nerve embeddings induce equivalent functors.
The $$-category of 2-categories is a sub-$$-category of $(,2)$-categories.
Nerve embeddings realize 2-categories as local objects with respect to certain maps.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Intracranial Aneurysms: Treatment and Complications
