Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The equivalence axiom and univalent models of type theory. (Talk at CMU
  on February 4, 2010)   This is the text of my talk at CMU on Feb. 4, 2010 were I gave the second
public presentation of the Univalence Axiom (called "equivalence axiom" in the
text). The first presentation of the axiom was in a lecture at LMU Munich in
November 2009.

36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat