Honors Thesis: Eckmann-Hilton and the Hopf Fibration in Homotopy Type Theory
Published in CU Scholar, 2023
This paper is about Eckmann-Hilton and the the Hopf fibration. Since writing the thesis, the main proof has been much improved. For an up to date version of the proof, see the HoTT/UF2024 talk.