Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Isomorphism Revisited   Isomorphism is central to the structure of mathematics and has been
formalized in various ways within dependent type theory. All previous
treatments have done this by replacing quantification over sets with
quantification over groupoids of some form --- categories in which every
morphism is an isomorphism. Quantification over sets is replaced by
quantification over standard groupoids in the groupoid model, by quantification
over infinity groupoid in Homotopy type theory, and by quantification over
morphoids in the morphoid model. Here we give a treatment of isomorphism based
on the intuitive notion of sets as collections without internal structure.
Quantification over sets remains as quantification over sets. Isomorphism and
groupoid structure then emerge from simple but subtle syntactic restrictions on
set-theoretic language. This approach more fully unifies the classical ZFC
foundations with a rigorous treatments of isomorphism, symmetry, canonicality,
functors, and natural transformations. This is all done without reference to
category theory.

27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph