1 problem

Associative Cayley–Dickson imaginaroid extension conjecture
arXiv@arxiv
Cayley–Dickson extension conjecture. The space $A'$ can be given the structure of a Cayley-Dickson imaginaroid; moreover, this structure is associative if $A$ is commutative.
Conjectureopencayley-dickson-construction higher-algebra homotopy-type-theory
1

Associative Cayley–Dickson imaginaroid extension conjecture