From: Guillaume Brunerie <guillaume...@gmail.com>
To: "HomotopyT...@googlegroups.com" <homotopyt...@googlegroups.com>
Subject: PhD thesis: On the homotopy groups of spheres in homotopy type theory
Date: Tue, 21 Jun 2016 09:27:33 +0200 [thread overview]
Message-ID: <CAFJ3QW+Qio-QFq30pEfoQh7Cwsvf5D2AX_yPtRENAjvBMXCeGw@mail.gmail.com> (raw)
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
next reply other threads:[~2016-06-21 7:27 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-21 7:27 Guillaume Brunerie [this message]
2016-06-21 13:47 ` [HoTT] " Steve Awodey
2016-06-22 1:19 ` Daniel R. Grayson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAFJ3QW+Qio-QFq30pEfoQh7Cwsvf5D2AX_yPtRENAjvBMXCeGw@mail.gmail.com \
--to="guillaume..."@gmail.com \
--cc="homotopyt..."@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).