Normalisation for the fundamental crossed complex of a simplicial set

Ronald Brown, Rafael Sivera

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 A…