Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Normalisation for the fundamental crossed complex of a simplicial set   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.}

27
The categories of this paper are: comp-gas
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
1
The categories of this paper are: cs
12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph