Skip to main content

On this week's #blog , a bit late as I work around the start of teaching this semester, I write about the fascinating PhD thesis, 'On the homotopy groups of spheres in homotopy type theory' updatedscholar.blogspot.com/20… #Hott #TypeTheory #Homotopy
A chart recording the various groups corresponding to the homotopy groups of spheres

Discussing 'On the homotopy groups of spheres in homotopy type theory'

(Link) Author: Guillaume Brunerie (Université Nice-Sophia-Antipolis) Reference: Brunerie, Guillame. “On the homotopy groups of spheres in ...
updatedscholar.blogspot.com
#blog #typetheory #hott #homotopy
⇧