n-groupoids from n-truncated simplicial objects as a solution to a universal problem

DOI10.1016/S0022-4049(99)00186-3MaRDI QIDQ1588063zbMATH OpenOpenAlexWikidataFDO

Authors Dominique Bourn

Publication date 27 September 2001

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-4049(99)00186-3

zbMATH Keywords

\(n\)-groupoidsnervesrecognition principlesplit simplicial objects

Mathematics Subject Classification ID

Fibered categories (18D30) Simplicial sets and complexes in algebraic topology (55U10)

Review text

The author develops a comparison theory relating split \(n\)-truncated simplicial objects in a category \({\mathcal B}\) with the normalized \(n\)-groupoid objects in \({\mathcal B}\). \smallskip Homotopy theorists have to be careful about the meaning of the word ``split in this paper: it does not mean split up to a certain level in the usual sense. It involves the existence of an extra degeneracy, but at the wrong end of the list of degeneracies, so that for a graph \(X\) a splitting has the effect of determining a canonical choice of path from a vertex \(x\) to a canonical choice of representative for \(x\) in \(\pi_{0}X\). The term ``normalized for groupoids carries essentially the same meaning. \smallskip An \(n\)-groupoid is the standard thing, namely a category enriched in \((n-1)\)-groupoids, but defined internally. The main result of the paper is a recognition principle for nerves of \(n\)-groupoids which is also internal, and avoids reference to pasting schemes: it is shown (theorem 5.4) that the category of \(n\)-groupoids in \({\mathcal B}\) is equivalent to a full subcategory of a suitably defined category of \(\theta\)-complexes in the category of simplicial objects in \({\mathcal B}\). The central proof technique is an iterated comparison of algebras for certain monads.

Recommendations

• The structural nature of the nerve functor for \(n\)-groupoids
• Nonstrict notions of n-category and n-groupoid via multisimplical sets
• Polyhedral monadicity of n-groupoids and standardized adjunction
• scientific article; zbMATH DE number 917692
• Another denormalization theorem for abelian chain complexes

Cites work

• Another denormalization theorem for abelian chain complexes
• scientific article; zbMATH DE number 426297 (Why is no real title available?)
• scientific article; zbMATH DE number 3903554 (Why is no real title available?)
• scientific article; zbMATH DE number 3764761 (Why is no real title available?)
• scientific article; zbMATH DE number 3766697 (Why is no real title available?)
• scientific article; zbMATH DE number 19499 (Why is no real title available?)
• scientific article; zbMATH DE number 29045 (Why is no real title available?)
• scientific article; zbMATH DE number 40564 (Why is no real title available?)
• scientific article; zbMATH DE number 806707 (Why is no real title available?)
• Nerves of Multiple Categories
• On the algebra of cubes
• Polyhedral monadicity of n-groupoids and standardized adjunction
• Realization of cohomology classes in arbitrary exact categories
• Simplicial methods and the interpretation of “triple” cohomology
• The algebra of oriented simplexes
• The combinatorics of n-categorical pasting
• The structural nature of the nerve functor for \(n\)-groupoids

Cited in

(4)

• Enumeration of \(1\)-truncated simplicial groups of low order
• Polyhedral monadicity of n-groupoids and standardized adjunction
• scientific article; zbMATH DE number 2165890 (Why is no real title available?)
• Mal'tsev and Lawvere functors

This page was built for publication: \(n\)-groupoids from \(n\)-truncated simplicial objects as a solution to a universal problem

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