Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Locally Cartesian Closed Quasicategories from Type Theory   We prove that the quasicategories arising from models of Martin-L\"of type
theory via simplicial localization are locally cartesian closed.

29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ