Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Identities among relations for higher-dimensional rewriting systems   We generalize the notion of identities among relations, well known for
presentations of groups, to presentations of n-categories by polygraphs. To
each polygraph, we associate a track n-category, generalizing the notion of
crossed module for groups, in order to define the natural system of identities
among relations. We relate the facts that this natural system is finitely
generated and that the polygraph has finite derivation type.

10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex
11
The categories of this paper are: hep-lat
22
The categories of this paper are: chao-dyn
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th