Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Remarks on the Tripos To Topos Construction: extensionality,
  comprehensions, quotients and cauchy-complete objects   We give a description of the Tripos To Topos construction in terms of four
free constructions. We prove that these compose up to give a free construction
from the category of triposes and logical morphisms to the category of toposes
and logical functors. Then we show that other similar constructions, i.e. the
one given by Frey in \cite{frey} and that of Carboni in \cite{carbons} are
instances of this one.

3
The categories of this paper are: physics
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
1
The categories of this paper are: cs
13
The categories of this paper are: quant-ph
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn