Monthly Archives: December 2013
New writeup of πn(Sn)
I’m giving a talk this week at CPP. While I’m going to talk more broadly about applications of higher inductive types, for the proceedings, Guillaume Brunerie and I put together an “informalization” of πn(Sn), which you can find here. This is … Continue reading
Posted in Higher Inductive Types, Homotopy Theory
1 Comment
Homotopy Type Theory 