1: \begin{abstract} We classify the category of finite-dimensional real division composition algebras

2: having a non-abelian Lie algebra of derivations. Our complete and explicit classification is largely achieved by introducing

3: the concept of a quasi-description of a category, and using it to express the problem in terms of normal form problems for certain

4: group actions

5: on products of 3-spheres.

6: \end{abstract}