Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Topological abstraction of higher-dimensional automata   Higher-dimensional automata constitute a very expressive model for concurrent
systems. In this paper, we discuss "topological abstraction" of
higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that
can be considered equivalent from both a computer scientific and a topological
point of view. By definition, topological abstraction preserves the homotopy
type, the trace category, and the homology graph of an HDA. We establish
conditions under which cube collapses yield topological abstractions of HDAs.

9
The categories of this paper are: nlin
19
The categories of this paper are: eess
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
22
The categories of this paper are: chao-dyn