A homotopy coherent cellular nerve for bicategories

Abstract

The subject of this paper is a nerve construction for bicategories introduced by Leinster, which defines a fully faithful functor from the category of bicategories and normal pseudofunctors to the category of presheaves over Joyal's category ${\Theta }_2$. We prove that the nerve of a bicategory is a $2$-quasi-category (a model for $(\infty ,2)$-categories due to Ara), and moreover that the nerve functor restricts to the right part of a Quillen equivalence between Lack's model structure for bicategories and a Bousfield localisation of Ara's model structure for $2$-quasi-categories. We deduce that Lack's model structure for bicategories is Quillen equivalent to Rezk's model structure for $(2,2)$-$\Theta$-spaces on the category of simplicial presheaves over ${\Theta }_2$. To this end, we construct the homotopy bicategory of a $2$-quasi-category, and prove that a morphism of $2$-quasi-categories is an equivalence if and only if it is essentially surjective on objects and fully faithful. We also prove a Quillen equivalence between Ara's model structure for $2$-quasi-categories and the Hirschowitz--Simpson--Pellissier model structure for quasi-category-enriched Segal categories, from which we deduce a few more results about $2$-quasi-categories, including a conjecture of Ara concerning weak equivalences of $2$-categories.

arXiv comment45 pages; v2: typos corrected; to appear in Adv. Math

References in corpus (15)

• Higher Topos Theory
• Iterated wreath product of the simplex category and iterated loop spaces
• A cartesian presentation of weak n-categories
• A Quillen model structure for Gray-categories
• 2-nerves for bicategories
• Monads with arities and their associated theories
• A Survey of Definitions of n-Category
• Mapping spaces in Quasi-categories
• Higher quasi-categories vs higher Rezk spaces
• The theory and practice of Reedy categories
• On the duality between trees and disks
• Comparison of models for $(\infty ,n)$-categories, II
• Weak Omega Categories I
• Non-Simplicial Nerves for Two-Dimensional Categorical Structures
• Inner horns for 2-quasi-categories

Cited by in corpus (4)

• The Gray tensor product for 2-quasi-categories
• A double $(\infty ,1)$-categorical nerve for double categories
• Nerves of 2-categories and 2-categorification of $(\infty ,2)$-categories
• Nerves and cones of free loop-free ω-categories