Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Classifying Types   The study of homotopy theoretic phenomena in the language of type theory is
sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type
theory is only one of the many aspects of homotopy type theory, which also
includes the study of the set theoretic semantics (models of homotopy type
theory and univalence in a meta-theory of sets or categories), type theoretic
semantics (internal models of homotopy type theory), and computational
semantics, as well as the study of various questions in the internal language
of homotopy type theory which are not necessarily motivated by homotopy theory,
or questions related to the development of formalized libraries of mathematics
based on homotopy type theory. This thesis concerns the development of
synthetic homotopy theory.

13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th