A full and faithful nerve for 2-categories

From MaRDI portal
(Redirected from Publication:816647)



Abstract: The notion of geometric nerve of a 2-category (Street, cite{refstreet}) provides a full and faithful functor if regarded as defined on the category of 2-categories and lax 2-functors. Furthermore, lax 2-natural transformations between lax 2-functors give rise to homotopies between the corresponding simplicial maps. These facts allow us to prove a representation theorem of the general non abelian cohomology of groupoids (classifying non abelian extensions of groupoids) by means of homotopy classes of simplicial maps.


The nerve of an \(n\)-category was defined by the reviewer [\textit{R. Street}, J. Pure Appl. Algebra 49, 283--335 (1987; Zbl 0661.18005)]. When considered as a functor from the category of 2-categories and lax functors to the category of simplicial sets, this nerve is fully faithful. Lax natural transformations between lax functors yield homotopies. Using this, the authors prove a representation theorem for the general non-abelian cohomology of groupoids by means of homotopy classes of simplicial maps; this cohomology classifies non-abelian extensions of groupoids.











This page was built for publication: A full and faithful nerve for 2-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q816647)