PhD thesis: On the homotopy groups of spheres in homotopy type theory

PhD thesis: On the homotopy groups of spheres in homotopy type theory

[Guillaume Brunerie]

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

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

[Steve Awodey]

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.

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

[Daniel R. Grayson]

[-- Attachment #1.1: Type: text/plain, Size: 18 bytes --]

Congratulations!


[-- Attachment #1.2: Type: text/html, Size: 52 bytes --]