Site map

Eckmann-Hilton and the Hopf Fibration

Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF 2024) at KU Leuven
2024-04-03
Eckmann-Hilton Hopf fibration HoTT

This talk presents an improved version of my honors thesis. We describe a universal property enjoyed by the fiber of a map, and specialize this to the case of the Hopf fibration. With a bit of path algebra, an equivalence between the fiber of the Hopf fibration and S1 falls out of the universal property.


Talk materials

Abstract

Slides

Related materials

TomJacksHITisS1.lagda.md