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 <math>Θ2</math>. We prove that the nerve of a bicategory is a 2-quasi-category (a model for <math>(∞,2)</math>-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 <math>(2,2)</math>-Θ-spaces on the category of simplicial presheaves over <math>Θ2</math>.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.

Generalized nerves of monads

A Polynomial Construction of Nerves for Higher Categories

The nerve theorem for relative monads

A double $(\infty,1)$-categorical nerve for double categories

The branching nerve of HDA and the Kan condition

Model independence of $(\infty,2)$-categorical nerves

Nerves of enriched categories via necklaces

Nerves of 2-categories and 2-categorification of $(\infty,2)$-categories

Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)

A homotopy coherent cellular nerve for bicategories

A homotopy coherent nerve for (∞, n )-categories

Generalization of formal monad theory to lax functors

Coverings by open and closed hemispheres

The Cylinder of a Relation and Generalized Versions of the Nerve Theorem

The Duskin nerve of 2-categories in Joyal's cell category Theta_2

A homotopy coherent nerve for $(\infty,n)$-categories

Crossed Simplicial Group Categorical Nerves

What is the universal property of the 2-category of monads?

Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras

A Unified View on the Functorial Nerve Theorem and its Variations

The nerve of a crossed module