A homotopy coherent cellular nerve for bicategories
type: Item
instance of: scholarly article
title: A homotopy coherent cellular nerve for bicategories
zbMATH Open document ID: 1451.18038
author: Alexander Campbell
published in: Advances in Mathematics
publication date: 2020-05-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/1907.01999
review text: When generalizing \(n\)-categories to \((\infty,n)\)-categories we often use presheaf categories. As a matter of fact, \textit{quasi-categories}, the most common model of \((\infty,1)\)-categories, are just certain simplicial sets. Thus in order to understand the relationship between strict categories and weak categories, we need to understand how to construct presheaves out of categories. Such constructions are generally known as \textit{nerves}. In the context of \((\infty,1)\)-categories the nerve construction takes a category to a simplicial set. This construction was already known to Grothendieck and has many desirable properties. In particular, it is fully faithful and in fact a right Quillen functor from the canonical model structure for categories to the model structure for quasi-categories. Moreover, we can precisely characterize the simplicial sets that lie in the essential image, via the \textit{Segal condition}. Quasi-categories have been generalized by Ara to \(2\)-quasi-categories, which is a model of \((\infty,2)\)-categories, and are certain presheaves on the category \(\Theta_2\) [\textit{D. Ara}, J. \(K\)-Theory 14, No. 3, 701--749 (2014; Zbl 1322.18002)]. Hence, in order to understand the relationship between \(2\)-categories and \((\infty,2\))-categories, we need a nerve construction that takes a bicategory to a \(2\)-quasi-category and that has similar properties to the nerve construction for \(1\)-categories. However, as of now the appropriate nerve construction has eluded us. In particular, Ara himself suggested a nerve construction for bicategories, the \textit{strict nerve}, that turned out not to actually take value in \(2\)-quasi-categories. This paper successfully resolves this problem. The author proves there is a \textit{coherent nerve functor} from bicategories to \(\Theta_2\)-sets, motivated by work of \textit{T. Leinster} [Theory Appl. Categ. 10, 1--70 (2002; Zbl 0987.18007)], with the following properties: \begin{itemize} \item It i…
reviewed by: Nima Rasekh
Mathematics Subject Classification ID: 18N10
Mathematics Subject Classification ID: 18N20
Mathematics Subject Classification ID: 18N40
Mathematics Subject Classification ID: 18N55
Mathematics Subject Classification ID: 18N60
Mathematics Subject Classification ID: 18N65
zbMATH DE Number: 7201197
zbMATH Keywords: 2-category
zbMATH Keywords: bicategory
zbMATH Keywords: 2-quasi-category
zbMATH Keywords: \((\infty,2)\)-category
zbMATH Keywords: nerve
zbMATH Keywords: model category
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2955588677
cites work: Higher Quasi-Categories vs Higher Rezk Spaces
cites work: The universal property of the multitude of trees
cites work: Introduction to bicategories
cites work: A cellular nerve for higher categories
cites work: Iterated wreath product of the simplex category and iterated loop spaces
cites work: Monads with arities and their associated theories
cites work: A characterization of fibrant Segal categories
cites work: Reedy categories and the \(\varTheta\)-construction
cites work: Two-dimensional monad theory
cites work: Homotopy invariant algebraic structures on topological spaces
cites work: On truncated quasi-categories
cites work: Presheaves as models for homotopy types
cites work: Universal homotopy theories
cites work: Mapping spaces in quasi-categories
cites work: Q4540526
cites work: Q5586461
cites work: Coherence for tricategories
cites work: Q5644088
cites work: Nerves of bicategories as stratified simplicial sets
cites work: Q4790109
cites work: Quasi-categories and Kan complexes
cites work: Q5431520
cites work: Adjoint Functors
cites work: Q5616190
cites work: Q4679165
cites work: A Quillen model structure for 2-categories
cites work: A Quillen model structure for bicategories
cites work: 2-nerves for bicategories
cites work: A survey of definitions of \(n\)-category
cites work: Q3159161
cites work: Higher Topos Theory (AM-170)
cites work: Inner horns for 2-quasi-categories
cites work: Duality for simple \(\omega\)-categories and disks
cites work: On the duality between trees and disks
cites work: Nerves of 2-categories and 2-categorification of \(( \infty ,2)\)-categories
cites work: A Cartesian presentation of weak \(n\)-categories
cites work: The theory and practice of Reedy categories
cites work: Homotopy coherent adjunctions and the formal theory of monads
cites work: Q3068077
cites work: Simple omega-categories and chain complexes
cites work: Q3876103
cites work: Q4893208
cites work: Q4419470
cites work: Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
DOI: 10.1016/J.AIM.2020.107138
Recommended article: 2-nerves for bicategories
Recommended article: Nerves of 2-categories and 2-categorification of \(( \infty ,2)\)-categories
Recommended article: A Quillen model structure for bicategories
Recommended article: On the structure of simplicial categories associated to quasi-categories
Recommended article: Q5004676
description: scientific article; zbMATH DE number 7201197