Raymond Baker

Raymond Baker

I am a mathematician and functional programmer.

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.