Eckmann-Hilton and the Hopf Fibration
Contributed Talk, Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF 2024) at KU Leuven, Leuven, Belgium
This talk presents an improved version of my honors thesis, making essential usage of the notion of a type family equipped with a lift.