Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Cayley-Dickson Construction in Homotopy Type Theory   We define in the setting of homotopy type theory an H-space structure on
$\mathbb S^3$. Hence we obtain a description of the quaternionic Hopf fibration
$\mathbb S^3\hookrightarrow\mathbb S^7\twoheadrightarrow\mathbb S^4$, using
only homotopy invariant tools.

23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio