Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Martin-L\"of Complexes   In this paper we define Martin-L\"{o}f complexes to be algebras for monads on
the category of (reflexive) globular sets which freely add cells in accordance
with the rules of intensional Martin-L\"{o}f type theory. We then study the
resulting categories of algebras for several theories. Our principal result is
that there exists a cofibrantly generated Quillen model structure on the
category of 1-truncated Martin-L\"{o}f complexes and that this category is
Quillen equivalent to the category of groupoids. In particular, 1-truncated
Martin-L\"{o}f complexes are a model of homotopy 1-types.

12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
1
The categories of this paper are: cs
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph