Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Labeled homology of higher-dimensional automata   We construct labeling homomorphisms on the cubical homology of
higher-dimensional automata and show that they are natural with respect to
cubical dimaps and compatible with the tensor product of HDAs. We also indicate
two possible applications of labeled homology in concurrency theory.

32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int