Re: [HoTT] PhD thesis: On the homotopy groups of spheres in homotopy type theory

[Steve Awodey <awo...@cmu.edu>]

Congratulations Guillaume!

> On Jun 21, 2016, at 9:27 AM, Guillaume Brunerie <guillaume...@gmail.com> wrote:
> 
> Dear all,
> 
> I successfully defended my PhD thesis last week, and I’m happy to
> announce that it is now available on the arXiv:
> http://arxiv.org/abs/1606.05916
> 
> The main result of my thesis is the fact that pi_4(S^3) = Z/2Z in
> HoTT. I tried to write it in a self-contained way in the sense that it
> is not necessary to have read the HoTT book first, the introduction
> and the first two chapters review all basic concepts and results of
> homotopy type theory that are needed in the rest of the thesis.
> 
> Best,
> Guillaume
> 
> -- 
> You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeThe...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.