The Cayley-Dickson construction in HoTT

Our paper on the Cayley-Dickson construction in HoTT, which is joint work with Ulrik Buchholtz, has been submitted to the Arxiv: The Cayley-Dickson construction in Homotopy Type Theory In this paper, we formalize the H-space structure on the 3-sphere. One can think of the 3-sphere as the unit-sphere in the quaternions. Since the quaternions form … Continue reading The Cayley-Dickson construction in HoTT

Advertisements