Normalisation for the fundamental crossed complex of a simplicial set

MaRDI QIDQ847547zbMATH OpenFDO

Authors Ronald Brown, Rafael Sivera

Publication date 17 February 2010

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0611728, https://eudml.org/doc/223493, http://www.emis.de/journals/JHRS/volumes/2007/n2a5/abstract.htm

zbMATH Keywords

groupoidcrossed modulenormalisationsimplicial setcrossed complexfundamental crossed complexhomotopy addition Lemma

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Singular homology and cohomology theory (55N10) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Homology with local coefficients, equivariant cohomology (55N25) Applied homological algebra and category theory in algebraic topology (55U99) Nonabelian homological algebra (category-theoretic aspects) (18G50)

Abstract: Crossed complexes are shown to have an algebra sufficiently rich to model the geometric inductive definition of simplices, and so to give a purely algebraic proof of the Homotopy Addition Lemma (HAL) for the boundary of a simplex. This leads to the {it fundamental crossed complex} of a simplicial set. The main result is a normalisation theorem for this fundamental crossed complex, analogous to the usual theorem for simplicial abelian groups, but more complicated to set up and prove, because of the complications of the HAL and of the notion of homotopies for crossed complexes. We start with some historical background, {and give a survey of the required basic facts on crossed complexes.}

Recommendations

• scientific article; zbMATH DE number 1236140
• Crossed modules as homotopy normal maps
• scientific article; zbMATH DE number 806707
• scientific article; zbMATH DE number 3890348
• scientific article; zbMATH DE number 3890362

Cited in

(4)

• scientific article; zbMATH DE number 806707 (Why is no real title available?)
• Crossed complexes and higher homotopy groupoids as noncommutative tools for higher dimensional local-to-global problems
• Formalization of a normalization theorem in simplicial topology
• Pointed homotopy and pointed lax homotopy of 2-crossed module maps

Describes a project that uses

Uses Software

• Gpd

This page was built for publication: Normalisation for the fundamental crossed complex of a simplicial set

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