2-nerves for bicategories
Stephen Lack, Simona Paoli
Abstract
We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. We define a 2-category NHom whose objects are bicategories and whose 1-cells are normal homomorphisms of bicategories, in such a way that the 2-nerve construction becomes a full embedding of NHom in the 2-category of simplicial objects in Cat. This embedding has a left biadjoint, and we characterize its image. The 2-nerve of a bicategory is always a weak 2-category in the sense of Tamsamani, and we show that NHom is biequivalent to a certain 2-category whose objects are Tamsamani weak 2-categories.
Create a lesson
Related papers
Failure of Higher-Order Truth within Intuitionistic Propositional Logic
Lingyuan Ye, Yiqi Xu
Finitistic dimensions in triangulated categories with a compact silting generator
Xiaoyan Yang
De Morgan's Laws in Tensor-Triangular Geometry
Mark Lyttle
Absolute colimits
Richard Garner, Ross Street
A Categorical Framework for the Direct Integration of Banach Spaces
Daniel Funck, Giacomo Gavelli
The Cofree Functor on G-Sets and Its Approximations
Frank Murphy-Hernandez