Site map

Github Profile Mastodon Profile
Eckmann-Hilton and the Hopf Fibration in Homotopy Type Theory
by Raymond Baker
Second International Conference on Homotopy Type Theory (HoTT 2023) at Carnige Mellon University
2023-05-25
Eckmann-Hilton Hopf fibration HoTT

This talk presents the results of my honors thesis.For a more refined version of the argument, see the HoTTUF2024 talk.


Talk materials

Slides

Related materials