Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A naive diagram-chasing approach to formalisation of tame topology   We rewrite classical topological definitions using the category-theoretic
notation of arrows and are led to concise reformulations in terms of simplicial
categories and orthogonality of morphisms, which we hope might be of use in the
formalisation of topology and in developing the tame topology of Grothendieck.
  Namely, we observe that topological and uniform spaces are simplicial objects
in the same category, a category of filters, and that a number of elementary
properties can be obtained by repeatedly passing to the left or right
orthogonal (in the sense of Quillen model categories) starting from a simple
class of morphisms, often a single typical (counter)example appearing
implicitly in the definition.
  Examples include the notions of: compact, discrete, connected, and totally
disconnected spaces, dense image, induced topology, and separation axioms, and,
outside of topology, finite groups being nilpotent, solvable, torsion-free,
p-groups, and prime-to-p groups; injective and projective modules; injective
and surjective (homo)morphisms.

30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
8
The categories of this paper are: hep-ex
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
19
The categories of this paper are: eess
18
The categories of this paper are: econ